Advances in Modal Logic, Volume 14

David Fernández-Duque, Alessandra Palmigiano and Sophie Pinchinat, editors.

College Publications, 2022.

These proceedings record the papers presented at the 2022 conference on Advances in Modal logic, a biennial conference series with an aim to report on important new developments in pure and applied modal logic.

The topics in this edition include constructive and substructural modal logic, unification, algebraic and neighbourhood semantics, proof theory and complexity of modal logics, and verification in modal logic.

Volume 14 is available online.

Advances in Modal Logic, Volume 13

Nicola Olivetti, Rineke Verbrugge, Sara Negri and Gabriel Sandu, editors.

College Publications, 2020.

These proceedings record the papers presented at the 2020 conference on Advances in Modal logic, a biennial conference series with an aim to report on important new developments in pure and applied modal logic.

The topics include decidability and complexity results, proof theory, model theory, interpolation, related problems in algebraic logic, as well as history of modal reasoning.

Volume 13 is available online.

Advances in Modal Logic, Volume 12

Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe and Thomas Studer, editors.

College Publications, 2018.

These proceedings contain invited and contributed papers from the twelfth conference on Advances in Modal Logic held at the University of Bern from 27 to 31 August 2018.

Volume 12 is available online.

Advances in Modal Logic, Volume 11

Lev Beklemishev,
Stéphane Demri
and András Máté, editors.

College Publications, 2016.

These proceedings record the papers presented at the eleventh conference in the AiML series, held in Budapest, Hungary, in August-September 2016.

Volume 11 is available online.

Advances in Modal Logic, Volume 10

Rajeev Goré,
Barteld Kooi,
and Agi Kurucz, editors.

College Publications, 2014.

Logic deals with the fundamental notions of truth and falsity. Modal logic arose from the philosophical study of "modes of truth" with the two most common modes being "necessarily true" and "possibly true". Research in modal logic now spans the spectrum from philosophy, computer science and mathematics using techniques from relational structures, universal algebra, topology, and proof theory. These proceedings record the papers presented at the tenth conference in the AiML series, held in Groningen, the Netherlands, in August 2014. It includes important new developments in pure and applied modal logic, in using modal logic to reason about obligations, about programs, about time, about combinations of modal logics and even about negation itself.

Volume 10 is available online.

Advances in Modal Logic, Volume 9

Thomas Bolander
Torben Braüner,
Silvio Ghilardi
and Lawrence Moss, editors.

College Publications, 2012.

Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics. This volume is the proceedings of the the ninth conference in the AiML series, held in Copenhagen, Denmark, in August 2012. Its contributions are state-of-the-art papers. The topics include decidability and complexity results for specific modal logics, proof theory of modal logic, logics for reasoning about time and space, provability logic, dynamic epistemic logic, and the logic of evidence.

Volume 9 is available online.

Advances in Modal Logic, Volume 8

Lev Beklemishev,
Valentin Goranko
and Valentin Shehtman, editors.

College Publications, 2010.

Volume 8 contains invited and contributed papers from the eighth conference in the AiML series, held in Moscow, Russia, in August 2010. It reports on substantial advances, both in the foundations of modal logic and in a number of application areas. It includes papers on general problems in model theory, proof theory and algorithmic properties of modal logics, on systems for spatial, temporal and epistemic reasoning, on related kinds of logics - description, relevance, substructural, intuitionistic, and on related topics in algebraic logic.

Volume 8 is available online.

Advances in Modal Logic, Volume 7

Carlos Areces and
Robert Goldblatt, editors.

College Publications, 2008.

Volume 7 contains invited and contributed papers from the seventh conference in the series, held in Nancy, France, in September 2008. It reports on substantial advances, both in the foundations of modal logic and in a number of application areas. It includes papers on the metatheory of a variety of modal logics; on systems for spatial and temporal reasoning and interpreting natural language; on the emerging coalgebraic perspective; and on historical vews of the nature of modality.

Volume 7 is available online.

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.