Advances in Modal Logic 2008: Nancy, France

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