AiML news 2002
December 13, 2002: New Book of interest to AiML community available with 30% discount
RELATION ALGEBRAS BY GAMES, edited by R. Hirsch and I. Hodkinson
Relation algebras are algebras arising from the study of binary relations. They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of relation algebras. Games allow an intuitive and appealing approach to the subject, and permit substantial advances to be made. The book contains many new results and proofs not published elsewhere. It should be invaluable to graduate students and researchers interested in relation algebras and games.
The book is generally self-contained on relation algebras and on games, and introductory text is scattered throughout. Some familiarity with elementary aspects of first-order logic and set theory is assumed, though many of the definitions are given. Chapter 2 introduces the necessary universal algebra and model theory, and more specific model-theoretic ideas are explained as they arise.
To order with a special 30% discount price information please click: http://www.elsevier.com/homepage/sac/hirsch/orderform.pdf
For Table of Contents and more information please visit: http://www.elsevier.com/locate/isbn/0444509321
October 15, 2002: New edition of Prior's book
New edition of Arthur N. Prior's book Papers on Time and Tense has appeared. This book is the 2nd revised and extended edition of A. N. Prior's Papers on Time and Tense, which first appeared in 1968. Papers on Time and Tense was and is the seminal book on the foundation of the philosophy and logic of time, as well as the modern discipline temporal logic. The papers in this volume have been made accessible to modern-day readers by replacing the Polish notation of the original with standard logical notation. A number of papers by Prior have been added, as well as a new and comprehensive bibliography of Prior's work. The volume also contains an interview with A. N. Prior's widow, Dr. Mary Prior on the life and work of Prior.
Readership: Researchers and graduate students in philosophy and logic, also linguistics and computer science.
Papers on Time and Tense New Edition, Arthur N. Prior.
Edited by Per Hasle, University of Southern Denmark, Peter Øhrstrøm, Aalborg University, Torben Braüner, Department of Computer Science, Roskilde University, and B. Jack Copeland, University of Canterbury, New Zealand.
Oxford University Press, October 2002. 350 pages.
For more information see the online catalogue of Oxford University Press.
January 21, 2002: AiML 2002
The first call for papers for Advances in Modal Logic 2002 is available. AiML 2002 will be held in Toulouse, France on September 30-October 2, 2002.
Consult the following URLs:
ASCII version of the call for papers
Local organizers