Abstract is missing.
- Complexity of Strict ImplicationFélix Bou. 1-16 [doi]
- Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic AspectsWillem Conradie, Valentin Goranko, Dimiter Vakarelov. 17-51 [doi]
- Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial StatesTim French, Ron van der Meyden, Mark Reynolds. 53-72 [doi]
- A Two sorted Hybrid Logic Including Guarded JumpsBernhard Heinemann. 73-92 [doi]
- On the Modularity of TheoriesAndreas Herzig, Ivan José Varzinczak. 93-109 [doi]
- Decidability of IF Modal Logic of Perfect RecallTapani Hyttinen, Tero Tulenheimo. 111-131 [doi]
- A Lower Complexity Bound for Propositional Dynamic Logic with IntersectionMartin Lange. 133-147 [doi]
- On Notions of Completeness Weaker than Kripke CompletenessTadeusz Litak. 149-169 [doi]
- Normal Modal Logics Containing KTB with some Finiteness ConditionsYutaka Miyazaki. 171-190 [doi]
- On the Formal Structure of Continuous ActionThomas Müller. 191-209 [doi]
- Utilitarian Deontic LogicYuko Murakami. 211-230 [doi]
- Resolution for Synchrony and No LearningCláudia Nalon, Clare Dixon, Michael Fisher. 231-248 [doi]
- On the Complexity of Fragments of Modal LogicsLinh Anh Nguyen. 249-268 [doi]
- On PSPACE-decidability in Transitive Modal LogicIlya Shapirovsky. 269-287 [doi]
- Filtration via BisimulationValentin B. Shehtman. 289-308 [doi]
- A Systematic Proof Theory for Several Modal LogicsCharles Stewart, Phiniki Stouppa. 309-333 [doi]
- Public Announcements and Belief ExpansionHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi. 335-346 [doi]
- Consistency Proofs for Systems of Multi?agent Only KnowingArild Waaler. 347-366 [doi]
- Connexive Modal LogicHeinrich Wansing. 367-383 [doi]