AiML news 2006

November 14, 2006: Handbook of Modal Logic has been published

[Handbook of Modal Logic]

Patrick Blackburn, Johan van Benthem and Frank Wolter, editors.

Elsevier, 2006.

The Handbook of Modal Logic contains 21 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners approaching the subject for the first time, and advanced articles, which will help those already familiar with the field to deepen their expertise.

Order from Elsevier, or


September 28, 2006: Advances in Modal Logic 2006 has been held in Noosa, Queensland, Australia

AiML 2006 was organized by Guido Governatori with Ian Hodkinson and Yde Venema as the programme co-chairs.

Conference local website:


August 1, 2006: Advances in Modal Logic, Volume 6 has been published

[Advances in Modal Logic, volume 6]

Guido Governatori, Ian Hodkinson and Yde Venema, editors.

AiML volume 6 has been published by College Publications and is now available online.

June 6, 2006: The website has been moved to Birkbeck, University of London

Please send any comments and suggestions to Roman Kontchakov