| 2014 | A Composable Language for Action Models. Tim French, James Hales, Edwin Tay |
| 2014 | A Duality for Distributive Unimodal Logic. Adam Prenosil |
| 2014 | A Hennessy-Milner Property for Many-Valued Modal Logics. Michel Marti, George Metcalfe |
| 2014 | A Parametrized Propositional Dynamic Logic with Application to Service Synthesis. Walid Belkhir, Gisela Rossi, Michaël Rusinowitch |
| 2014 | A Tableau for Temporal Logic over the Reals. Mark Reynolds |
| 2014 | Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014 Rajeev Goré, Barteld P. Kooi, Agi Kurucz |
| 2014 | Almost Necessary. Jie Fan, Yanjing Wang, Hans van Ditmarsch |
| 2014 | Axiomatic and Tableau-Based Reasoning for Kt(H, R). Renate A. Schmidt, John G. Stell, David E. Rydeheard |
| 2014 | Bilattice Public Announcement Logic. Umberto Rivieccio |
| 2014 | Bisimulation Safe Fixed Point Logic. Faried Abu Zaid, Erich Grädel, Stephan Jaax |
| 2014 | Canonical Filtrations and Local Tabularity. Valentin B. Shehtman |
| 2014 | Conditionally Knowing What. Yanjing Wang, Jie Fan |
| 2014 | Definability and Computability for PRSPDL. Philippe Balbiani, Tinko Tinchev |
| 2014 | Epistemic Probability Logic Simplified. Jan van Eijck, François Schwarzentruber |
| 2014 | Filtration Safe Operations on Frames. Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin |
| 2014 | Free Algebras for Gödel-Löb Provability Logic. Samuel J. van Gool |
| 2014 | Label-free Modular Systems for Classical and Intuitionistic Modal Logics. Sonia Marin, Lutz Straßburger |
| 2014 | Modal Independence Logic. Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer |
| 2014 | Modalities in the Realm of Questions: Axiomatizing Inquisitive Epistemic Logic. Ivano Ciardelli |
| 2014 | More on Empirical Negation. Michael De, Hitoshi Omori |
| 2014 | Multiple-conclusion Rules, Hypersequents Syntax and Step Frames. Nick Bezhanishvili, Silvio Ghilardi |
| 2014 | Neighbourhood Frame Product KxK. Andrey Kudinov |
| 2014 | On Polarity Frames: Applications to Substructural and Lattice-based Logics. Tomoyuki Suzuki |
| 2014 | One-dimensional Fragment of First-order Logic. Lauri Hella, Antti Kuusisto |
| 2014 | Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics. Valentin Goranko, Steen Vester |
| 2014 | PDL Inside the ?-calculus: A Syntactic and an Automata-theoretic Characterization. Facundo Carreiro, Yde Venema |
| 2014 | Paraconsistent Justification Logic: a Starting Point. Che-Ping Su |
| 2014 | Partiality and Adjointness in Modal Logic. Wesley H. Holliday |
| 2014 | Reasoning About Obligations in Obligationes: A Formal Approach. Sara L. Uckelman |
| 2014 | Recent Advances in Proof Systems for Modal Logic. Sara Negri |
| 2014 | Some Exponential Lower Bounds on Formula-size in Modal Logic. Hans van Ditmarsch, Jie Fan, Wiebe van der Hoek, Petar Iliev |
| 2014 | Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics. Daniel Gorín, Lutz Schröder |
| 2014 | The Effects of Modalities in Separation Logics (Extended Abstract). Stéphane Demri, Morgan Deters |
| 2014 | The Expressive Power of Modal Dependence Logic. Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema |