| 2006 | Logics with an existential modality. | Natasha Alechina, Dmitry Shkatov |
| 2004 | Connexive Modal Logic. | Heinrich Wansing |
| 2004 | Consistency Proofs for Systems of Multi?agent Only Knowing. | Arild Waaler |
| 2004 | A Systematic Proof Theory for Several Modal Logics. | Charles Stewart, Phiniki Stouppa |
| 2004 | Filtration via Bisimulation. | Valentin B. Shehtman |
| 2004 | On PSPACE-decidability in Transitive Modal Logic. | Ilya Shapirovsky |
| 2004 | On the Complexity of Fragments of Modal Logics. | Linh Anh Nguyen |
| 2004 | Resolution for Synchrony and No Learning. | Cludia Nalon, Clare Dixon, Michael Fisher |
| 2004 | Utilitarian Deontic Logic. | Yuko Murakami |
| 2004 | On the Formal Structure of Continuous Action. | Thomas Mller |
| 2004 | Normal Modal Logics Containing KTB with some Finiteness Conditions. | Yutaka Miyazaki |
| 2004 | On Notions of Completeness Weaker than Kripke Completeness. | Tadeusz Litak |
| 2004 | A Lower Complexity Bound for Propositional Dynamic Logic with Intersection. | Martin Lange |
| 2004 | Decidability of IF Modal Logic of Perfect Recall. | Tapani Hyttinen, Tero Tulenheimo |
| 2004 | On the Modularity of Theories. | Andreas Herzig, Ivan Jos Varzinczak |
| 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 | Public Announcements and Belief Expansion. | Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
| 2004 | Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. | Willem Conradie, Valentin Goranko, Dimiter Vakarelov |
| 2004 | Complexity of Strict Implication. | Flix Bou |
| 2002 | Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class. | Dimiter Vakarelov |
| 2002 | On IF Modal Logic and its Expressive Power. | Tero Tulenheimo |
| 2002 | An Incompleteness Resuit for Predicate Extensions of Intermediate Propositional Logics. | Dmitrij P. Skvortsov |
| 2002 | Chronological Future Modality in Minkowski Spacetime. | Ilya Shapirovsky, Valentin B. Shehtman |
| 2002 | The Complexity of Temporal Logic Model Checking. | Philippe Schnoebelen |