| 2012 | On Modal Logics of Hamming Spaces. | Andrey Kudinov, Ilya Shapirovsky, Valentin B. Shehtman |
| 2012 | Modal Logic of Some Products of Neighborhood Frames. | Andrey Kudinov |
| 2012 | Expressiveness of Positive Coalgebraic Logic. | Krzysztof Kapulkin, Alexander Kurz, Jir Velebil |
| 2012 | A Uniform Logic of Information Dynamics. | Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III |
| 2012 | On Modal Products with the Logic of 'Elsewhere'. | Christopher Hampson, Agi Kurucz |
| 2012 | Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc. | James Hales, Tim French, Rowan Davies |
| 2012 | Extending ALCQ with Bounded Self-Reference. | Daniel Gorn, Lutz Schrder |
| 2012 | Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents. | Rajeev Gor, Revantha Ramanayake |
| 2012 | The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers. | Stefan Gller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Felix Wei |
| 2012 | General Dynamic Dynamic Logic. | Patrick Girard, Jeremy Seligman, Fenrong Liu |
| 2012 | Synthesis for Temporal Logic over the Reals. | Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
| 2012 | Non-finite Axiomatizability of Dynamic Topological Logic. | David Fernndez-Duque |
| 2012 | Kripke Models of Transfinite Provability Logic. | David Fernndez-Duque, Joost J. Joosten |
| 2012 | Guarded Negation. | Balder ten Cate |
| 2012 | Beyond Regularity for Presburger Modal Logic. | Facundo Carreiro, Stphane Demri |
| 2012 | Indexical Hybrid Tense Logic. | Patrick Blackburn, Klaus Frovin Jrgensen |
| 2012 | First Steps in Synthetic Guarded Domain Theory. | Lars Birkedal |
| 2012 | Distributive Substructural Logics as Coalgebraic Logics over Posets. | Marta Blkov, Rostislav Horck, Jir Velebil |
| 2012 | Evidence Logic: A New Look at Neighborhood Structures. | Johan van Benthem, David Fernndez-Duque, Eric Pacuit |
| 2012 | Foundational Issues in Logical Dynamics. | Johan van Benthem |
| 2012 | Calibrating Provability Logic: From Modal Logic to Reflection Calculus. | Lev D. Beklemishev |
| 2012 | Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders. | Philippe Balbiani, Levan Uridia |
| 2012 | Sahlqvist Theorems for Precontact Logics. | Philippe Balbiani, Stanislav Kikot |
| 2012 | Some Truths Are Best Left Unsaid. | Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima |
| 2012 | Computing Minimal EL-unifiers is Hard. | Franz Baader, Stefan Borgwardt, Barbara Morawska |