| 2014 | One-dimensional Fragment of First-order Logic. | Lauri Hella, Antti Kuusisto |
| 2014 | Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics. | Daniel Gorn, Lutz Schrder |
| 2014 | Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics. | Valentin Goranko, Steen Vester |
| 2014 | Free Algebras for Gdel-Lb Provability Logic. | Samuel J. van Gool |
| 2014 | A Composable Language for Action Models. | Tim French, James Hales, Edwin Tay |
| 2014 | Almost Necessary. | Jie Fan, Yanjing Wang, Hans van Ditmarsch |
| 2014 | Epistemic Probability Logic Simplified. | Jan van Eijck, Franois Schwarzentruber |
| 2014 | Some Exponential Lower Bounds on Formula-size in Modal Logic. | Hans van Ditmarsch, Jie Fan, Wiebe van der Hoek, Petar Iliev |
| 2014 | More on Empirical Negation. | Michael De, Hitoshi Omori |
| 2014 | The Effects of Modalities in Separation Logics (Extended Abstract). | Stphane Demri, Morgan Deters |
| 2014 | Modalities in the Realm of Questions: Axiomatizing Inquisitive Epistemic Logic. | Ivano Ciardelli |
| 2014 | PDL Inside the ?-calculus: A Syntactic and an Automata-theoretic Characterization. | Facundo Carreiro, Yde Venema |
| 2014 | Multiple-conclusion Rules, Hypersequents Syntax and Step Frames. | Nick Bezhanishvili, Silvio Ghilardi |
| 2014 | A Parametrized Propositional Dynamic Logic with Application to Service Synthesis. | Walid Belkhir, Gisela Rossi, Michal Rusinowitch |
| 2014 | Definability and Computability for PRSPDL. | Philippe Balbiani, Tinko Tinchev |
| 2014 | On Polarity Frames: Applications to Substructural and Lattice-based Logics. | Tomoyuki Suzuki |
| 2012 | Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation. | Yanjing Wang, Yanjun Li |
| 2012 | Dynamic Mereotopology II: Axiomatizing some Whiteheadean Type Space-time Logics. | Dimiter Vakarelov |
| 2012 | Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures. | Alwen Tiu, Egor Ianovski, Rajeev Gor |
| 2012 | Morphisms on Bi-approximation Semantics. | Tomoyuki Suzuki |
| 2012 | A Remark on a Peculiarity in the Functor Semantics for Superintuitionistic Predicate Logics with (or without) Equality. | Dmitrij P. Skvortsov |
| 2012 | Finite Satisfiability of Modal Logic over Horn~Definable Classes of Frames. | Jakub Michaliszyn, Emanuel Kieronski |
| 2012 | Interpolation and Beth Definability over the Minimal Logic. | Larisa Maksimova |
| 2012 | Justifications, Ontology, and Conservativity. | Roman Kuznets, Thomas Studer |
| 2012 | Finite Frames for K4.3 x S5 Are Decidable. | Agi Kurucz, Srgio Marcelino |