| 2005 | Advances in Modal Logic 5, papers from the fifth conference on "Advances in Modal logic," held in Manchester, UK, 9-11 September 2004 Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing |
| 2004 | A Lower Complexity Bound for Propositional Dynamic Logic with Intersection. Martin Lange |
| 2004 | A Systematic Proof Theory for Several Modal Logics. Charles Stewart, Phiniki Stouppa |
| 2004 | A Two sorted Hybrid Logic Including Guarded Jumps. Bernhard Heinemann |
| 2004 | Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. Tim French, Ron van der Meyden, Mark Reynolds |
| 2004 | Complexity of Strict Implication. Félix Bou |
| 2004 | Connexive Modal Logic. Heinrich Wansing |
| 2004 | Consistency Proofs for Systems of Multi?agent Only Knowing. Arild Waaler |
| 2004 | Decidability of IF Modal Logic of Perfect Recall. Tapani Hyttinen, Tero Tulenheimo |
| 2004 | Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. Willem Conradie, Valentin Goranko, Dimiter Vakarelov |
| 2004 | Filtration via Bisimulation. Valentin B. Shehtman |
| 2004 | Normal Modal Logics Containing KTB with some Finiteness Conditions. Yutaka Miyazaki |
| 2004 | On Notions of Completeness Weaker than Kripke Completeness. Tadeusz Litak |
| 2004 | On PSPACE-decidability in Transitive Modal Logic. Ilya Shapirovsky |
| 2004 | On the Complexity of Fragments of Modal Logics. Linh Anh Nguyen |
| 2004 | On the Formal Structure of Continuous Action. Thomas Müller |
| 2004 | On the Modularity of Theories. Andreas Herzig, Ivan José Varzinczak |
| 2004 | Public Announcements and Belief Expansion. Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
| 2004 | Resolution for Synchrony and No Learning. Cláudia Nalon, Clare Dixon, Michael Fisher |
| 2004 | Utilitarian Deontic Logic. Yuko Murakami |