Abstract is missing.
- Proof systems for the coalgebraic cover modalityMarta Bílková, Alessandra Palmigiano, Yde Venema. 1-21 [doi]
- Undecidability for arbitrary public announcement logicTim French, Hans P. van Ditmarsch. 23-42 [doi]
- Cut-elimination and proof-search for bi-intuitionistic logic using nested sequentsRajeev Goré, Linda Postniece, Alwen Tiu. 43-66 [doi]
- Valentini s cut-elimination for provability logic resolvedRajeev Goré, Revantha Ramanayake. 67-86 [doi]
- Labelled modal tableauxGuido Governatori. 87-110 [doi]
- Many-valued hybrid logicJens Hansen, Thomas Bolander, Torben Braüner. 111-132 [doi]
- Properties of logics of individual and group agencyAndreas Herzig, François Schwarzentruber. 133-149 [doi]
- Topology, connectedness, and modal logicRoman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev. 151-176 [doi]
- An interval logic for natural language semanticsSavas Konur. 177-191 [doi]
- Completeness of the finitary Moss logicClemens Kupke, Alexander Kurz, Yde Venema. 193-217 [doi]
- On axiomatising products of Kripke frames, part IIAgi Kurucz. 219-230 [doi]
- A modal perspective on monadic second-order alternation hierarchiesAntti Kuusisto. 231-247 [doi]
- Modal logics for mereotopological relationsYavor Nenov, Dimiter Vakarelov. 249-272 [doi]
- A Lindström characterisation of the guarded fragment and of modal logic with a global modalityMartin Otto, Robert Piro. 273-287 [doi]
- PSPACE-decidability of Japaridze s polymodal logicIlya Shapirovsky. 289-304 [doi]
- On the intermediate logic of open subsets of metric spacesTimofei Shatrov. 305-313 [doi]
- Locality and subsumption testing in EL and some of its extensionsViorica Sofronie-Stokkermans. 315-339 [doi]
- A decision procedure for alternation-free modal µ-calculiYoshinori Tanabe, Koichi Takahashi, Masami Hagiya. 341-362 [doi]
- Modal logic of time divisionTero Tulenheimo. 363-387 [doi]
- Three 13th-century views of quantified modal logicSara L. Uckelman. 389-406 [doi]