Advances in Modal Logic, Volume 6

Guido Governatori,
Ian Hodkinson and
Yde Venema, editors.

College Publications, 2006.

Volume 6 contains invited and contributed papers from the sixth conference in the series, held for the first time outside Europe, in Noosa, Queensland, Australia, in September 2006. It reports on considerable progress, both in the foundations of modal logic and in a number of application areas. It includes papers on the theory of modal logic itself, on process theory, multi-agent systems and spatial reasoning, and work on quantified modal logic, modal reasoning methods, and philosophical issues.

Volume 6 is available online.

Advances in Modal Logic, Volume 5

Renate Schmidt,
Ian Pratt-Hartmann,
Mark Reynolds, and
Heinrich Wansing, editors.

King's College Publications, 2005.

Volume 5 presents substantial advances in the relational and the algorithmic treatment of modal logics. It contains invited and contributed papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004. It includes papers on combinations of modal logics, dynamic logic, description logic, temporal logic, epistemic logic and spatial logic.

Volume 5 is available online.

Advances in Modal Logic, Volume 4

Philippe Balbiani,
Nobu-Yuki Suzuki,
Frank Wolter, and
Michael Zakharyaschev, editors.

King's College Publications, 2003.

Volume 4 presents substantial advances in the relational and the algorithmic treatment of modal logics. It contains invited and contributed papers from the fourth conference on "Advances in Modal logic," held in Toulouse (France) in October 2002. It includes papers on combinations of modal logics, dynamic logic, description logic, temporal logic, epistemic logic and spatial logic.

Volume 4 is available online.

Advances in Modal Logic, Volume 3

Frank Wolter,
Heinrich Wansing,
Maarten de Rijke, and
Michael Zakharyaschev, editors.

World Scientific, 2002.

Volume 3 presents substantial advances in the relational model theory and the algorithmic treatment of modal logics. It contains invited and contributed papers from the third conference on "Advances in Modal Logic", held at the University of Leipzig (Germany) in October 2000. It includes papers on dynamic logic, description logic, hybrid logic, epistemic logic, combinations of modal logics, tense logic, action logic, provability logic, and modal predicate logic.

Advances in Modal Logic, Volume 2

Michael Zakharyaschev,
Krister Segerberg,
Maarten de Rijke, and
Heinrich Wansing, editors.

CSLI Publications, 2000.

Volume 2 is a selection of papers presented at "Advances in Modal Logic'98", the second international workshop of its kind held in Uppsala, Sweden.

Advances in Modal Logic, Volume 1

Marcus Kracht,
Maarten de Rijke,
Heinrich Wansing, and
Michael Zakharyaschev, editors.

CSLI Publications, 1998.

Volume 1 is a selection of papers presented at "Advances in Modal Logic'96", the first international workshop of the series. It was held at the Free University of Berlin and focused exclusively on the theory and applications of modal logic.