| 2012 | A Remark on a Peculiarity in the Functor Semantics for Superintuitionistic Predicate Logics with (or without) Equality. Dmitrij P. Skvortsov |
| 2012 | A Uniform Logic of Information Dynamics. Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III |
| 2012 | Advances in Modal Logic 9, papers from the ninth conference on "Advances in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012 Thomas Bolander, Torben Braüner, Silvio Ghilardi, Lawrence S. Moss |
| 2012 | Beyond Regularity for Presburger Modal Logic. Facundo Carreiro, Stéphane Demri |
| 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 | Computing Minimal EL-unifiers is Hard. Franz Baader, Stefan Borgwardt, Barbara Morawska |
| 2012 | Distributive Substructural Logics as Coalgebraic Logics over Posets. Marta Bílková, Rostislav Horcík, Jirí Velebil |
| 2012 | Dynamic Mereotopology II: Axiomatizing some Whiteheadean Type Space-time Logics. Dimiter Vakarelov |
| 2012 | Evidence Logic: A New Look at Neighborhood Structures. Johan van Benthem, David Fernández-Duque, Eric Pacuit |
| 2012 | Expressiveness of Positive Coalgebraic Logic. Krzysztof Kapulkin, Alexander Kurz, Jirí Velebil |
| 2012 | Extending ALCQ with Bounded Self-Reference. Daniel Gorín, Lutz Schröder |
| 2012 | Finite Frames for K4.3 x S5 Are Decidable. Agi Kurucz, Sérgio Marcelino |
| 2012 | Finite Satisfiability of Modal Logic over Horn~Definable Classes of Frames. Jakub Michaliszyn, Emanuel Kieronski |
| 2012 | First Steps in Synthetic Guarded Domain Theory. Lars Birkedal |
| 2012 | Foundational Issues in Logical Dynamics. Johan van Benthem |
| 2012 | General Dynamic Dynamic Logic. Patrick Girard, Jeremy Seligman, Fenrong Liu |
| 2012 | Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures. Alwen Tiu, Egor Ianovski, Rajeev Goré |
| 2012 | Guarded Negation. Balder ten Cate |
| 2012 | Indexical Hybrid Tense Logic. Patrick Blackburn, Klaus Frovin Jørgensen |
| 2012 | Interpolation and Beth Definability over the Minimal Logic. Larisa Maksimova |
| 2012 | Justifications, Ontology, and Conservativity. Roman Kuznets, Thomas Studer |
| 2012 | Kripke Models of Transfinite Provability Logic. David Fernández-Duque, Joost J. Joosten |
| 2012 | Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents. Rajeev Goré, Revantha Ramanayake |
| 2012 | Modal Logic of Some Products of Neighborhood Frames. Andrey Kudinov |
| 2012 | Morphisms on Bi-approximation Semantics. Tomoyuki Suzuki |
| 2012 | Non-finite Axiomatizability of Dynamic Topological Logic. David Fernández-Duque |
| 2012 | Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation. Yanjing Wang, Yanjun Li |
| 2012 | On Modal Logics of Hamming Spaces. Andrey Kudinov, Ilya Shapirovsky, Valentin B. Shehtman |
| 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 | 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 | Synthesis for Temporal Logic over the Reals. Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
| 2012 | The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers. Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Felix Weiß |
| 2012 | Topological Completeness of First-Order Modal Logics. Steven Awodey, Kohei Kishida |