Advances in Modal Logic 2008

The following papers has been accepted for the conference.

Marta Bilkova, Alessandra Palmigiano and Yde Venema. Proof systems for the coalgebraic cover modality
Tim French and Hans van Ditmarsch. Undecidability for arbitrary public announcement logic
Rajeev Gore, Linda Postniece and Alwen Tiu. Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents
Rajeev Gore and Revantha Ramanayake. Valentini's Cut-elimination for Provability Logic Resolved
Jens Ulrik Hansen, Thomas Bolander and Torben Brauner. Many-Valued Hybrid Logic
Andreas Herzig and Francois Schwarzentruber. Proof-theoretic properties of logics of individual and group agency
Savas Konur. An Interval Logic for Natural Language Semantics
Clemens Kupke, Alexander Kurz and Yde Venema. A complete coalgebraic logic
Antti Kuusisto. A Modal Perspective on Monadic Second-Order Alternation Hierarchies
Yavor Nenov and Dimiter Vakarelov. Modal Logics for Mereotopological Relations
Martin Otto and Robert Piro. A Lindstrom Characterisation of the Guarded Fragment and of Modal Logic With a Global Modality
Ilya Shapirovsky. PSPACE-decidability of Japaridze's Poly-modal Logic
Timofei Shatrov. On the intermediate logic of open subsets of metric spaces
Viorica Sofronie-Stokkermans. Locality and subsumption testing in EL and some of its extensions
Yoshinori Tanabe, Koichi Takahashi and Masami Hagiya. A decision procedure for alternation-free modal mu-calculi
Tero Tulenheimo. Modal Logic of Time Division
Sara L. Uckelman. Three 13th-century views of quantified modal logic

The following abstracts has been accepted for the conference.

Francesco Belardinelli. Counterpart Semantics at work: an Incompleteness Result in Quantified Modal Logic
Anna Chernilovskaya and Mai Gehrke. Generalised Kripke semantics for the Lambek-Grishin calculus
Stas Kikot. An extension of Kracht's theorem to monadic inductive formulas
Hans Lycke. Inconsistency-Adaptive Modal Logics: Part I
Larisa Maksimova. Restricted interpolation in modal and superintuitionistic logics
Sergio Marcelino. An algebraic generalization of Kripke structures
John McCabe-Dansted. A Tableau for RoBCTL*
Jacob Vosmaer. Compact Hausdorff modal algebras are image-finite Kripke frames