Advances in Modal Logic B

21 papers

YearTitle / Authors
2008A Lindström characterisation of the guarded fragment and of modal logic with a global modality.
Martin Otto, Robert Piro
2008A decision procedure for alternation-free modal µ-calculi.
Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya
2008A modal perspective on monadic second-order alternation hierarchies.
Antti Kuusisto
2008Advances in Modal Logic 7, papers from the seventh conference on "Advances in Modal Logic," held in Nancy, France, 9-12 September 2008
Carlos Areces, Robert Goldblatt
2008An interval logic for natural language semantics.
Savas Konur
2008Completeness of the finitary Moss logic.
Clemens Kupke, Alexander Kurz, Yde Venema
2008Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.
Rajeev Goré, Linda Postniece, Alwen Tiu
2008Labelled modal tableaux.
Guido Governatori
2008Locality and subsumption testing in EL and some of its extensions.
Viorica Sofronie-Stokkermans
2008Many-valued hybrid logic.
Jens Hansen, Thomas Bolander, Torben Braüner
2008Modal logic of time division.
Tero Tulenheimo
2008Modal logics for mereotopological relations.
Yavor Nenov, Dimiter Vakarelov
2008On axiomatising products of Kripke frames, part II.
Agi Kurucz
2008On the intermediate logic of open subsets of metric spaces.
Timofei Shatrov
2008PSPACE-decidability of Japaridze's polymodal logic.
Ilya Shapirovsky
2008Proof systems for the coalgebraic cover modality.
Marta Bílková, Alessandra Palmigiano, Yde Venema
2008Properties of logics of individual and group agency.
Andreas Herzig, François Schwarzentruber
2008Three 13th-century views of quantified modal logic.
Sara L. Uckelman
2008Topology, connectedness, and modal logic.
Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev
2008Undecidability for arbitrary public announcement logic.
Tim French, Hans van Ditmarsch
2008Valentini's cut-elimination for provability logic resolved.
Rajeev Goré, Revantha Ramanayake