| 2010 | Relevant Agents. | Marta Blkov, Ondrej Majer, Michal Pelis, Greg Restall |
| 2010 | Partially-ordered Modalities. | Gerard Allwein, William L. Harrison |
| 2008 | Three 13th-century views of quantified modal logic. | Sara L. Uckelman |
| 2008 | Modal logic of time division. | Tero Tulenheimo |
| 2008 | A decision procedure for alternation-free modal -calculi. | Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya |
| 2008 | Locality and subsumption testing in EL and some of its extensions. | Viorica Sofronie-Stokkermans |
| 2008 | On the intermediate logic of open subsets of metric spaces. | Timofei Shatrov |
| 2008 | PSPACE-decidability of Japaridze's polymodal logic. | Ilya Shapirovsky |
| 2008 | A Lindstrm characterisation of the guarded fragment and of modal logic with a global modality. | Martin Otto, Robert Piro |
| 2008 | Modal logics for mereotopological relations. | Yavor Nenov, Dimiter Vakarelov |
| 2008 | A modal perspective on monadic second-order alternation hierarchies. | Antti Kuusisto |
| 2008 | On axiomatising products of Kripke frames, part II. | Agi Kurucz |
| 2008 | Completeness of the finitary Moss logic. | Clemens Kupke, Alexander Kurz, Yde Venema |
| 2008 | An interval logic for natural language semantics. | Savas Konur |
| 2008 | Topology, connectedness, and modal logic. | Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev |
| 2008 | Properties of logics of individual and group agency. | Andreas Herzig, Franois Schwarzentruber |
| 2008 | Many-valued hybrid logic. | Jens Hansen, Thomas Bolander, Torben Braner |
| 2008 | Labelled modal tableaux. | Guido Governatori |
| 2008 | Valentini's cut-elimination for provability logic resolved. | Rajeev Gor, Revantha Ramanayake |
| 2008 | Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. | Rajeev Gor, Linda Postniece, Alwen Tiu |
| 2008 | Undecidability for arbitrary public announcement logic. | Tim French, Hans van Ditmarsch |
| 2008 | Proof systems for the coalgebraic cover modality. | Marta Blkov, Alessandra Palmigiano, Yde Venema |
| 2006 | Tableaux for multi-agent deliberative-stit logic. | Heinrich Wansing |
| 2006 | On Modal Logic, IF Logic, and IF Modal Logic. | Tero Tulenheimo, Merlijn Sevenster |
| 2006 | The variety of modal FL | Hiroki Takamura |