Advances in Modal Logic, Volume 7

Carlos Areces and
Robert Goldblatt, editors

College Publications, 2008

ISBN-13: 978-1904987680

Volume 7 contains invited and contributed papers from the seventh conference on "Advances in Modal logic," held at LORIA in Nancy, France, from 9-12 September 2008.

Volume 7 is available online:

Table of Contents

• Preface, vii-viii
• Marta Bílková, Alessandra Palmigiano and Yde Venema, Proof systems for the coalgebraic cover modality, 1-21
• Tim French and Hans van Ditmarsch, Undecidability for arbitrary public announcement logic, 23-42
• Rajeev Goré, Linda Postniece and Alwen Tiu, Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents, 43-66
• Rajeev Goré and Revantha Ramanayake, Valentini's cut-elimination for provability logic resolved, 67-86
• Guido Governatori, Labelled modal tableaux, 87-110
• Jens Hansen, Thomas Bolander and Torben Braüner, Many-valued hybrid logic, 111-132
• Andreas Herzig and François Schwarzentruber, Properties of logics of individual and group agency, 133-149
• Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter and Michael Zakharyaschev, Topology, connectedness, and modal logic, 151-176
• Savas Konur, An interval logic for natural language semantics, 177-191
• Clemens Kupke, Alexander Kurz and Yde Venema, Completeness of the finitary Moss logic, 193-217
• Agi Kurucz, On axiomatising products of Kripke frames, part II, 219-230
• Antti Kuusisto, A modal perspective on monadic second-order alternation hierarchies, 231-247
• Yavor Nenov and Dimiter Vakarelov, Modal logics for mereotopological relations, 249-272
• Martin Otto and Robert Piro, A Lindström characterisation of the guarded fragment and of modal logic with a global modality, 273-287
• Ilya Shapirovsky, PSPACE-decidability of Japaridze's polymodal logic, 289-304
• Timofei Shatrov, On the intermediate logic of open subsets of metric spaces, 305-313
• Viorica Sofronie-Stokkermans, Locality and subsumption testing in EL and some of its extensions, 315-339
• Yoshinori Tanabe, Koichi Takahashi and Masami Hagiya, A decision procedure for alternation-free modal μ-calculi, 341-362
• Tero Tulenheimo, Modal logic of time division, 363-387
• Sara L. Uckelman, Three 13th-century views of quantified modal logic, 389-406