| 2018 | *-Continuity vs. Induction: Divide and Conquer. Stepan L. Kuznetsov |
| 2018 | A Hypersequent Calculus with Clusters for Linear Frames. David Baelde, Anthony Lick, Sylvain Schmitz |
| 2018 | A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle. Fengkui Ju, Gianluca Grilletti, Valentin Goranko |
| 2018 | A Recursively Enumerable Kripke Complete First-Order Logic Not Complete with Respect to a First-Order Definable Class of Frames. Mikhail N. Rybakov, Dmitry Shkatov |
| 2018 | A Simple Cut-Free System for a Paraconsistent Logic Equivalent to S5. Arnon Avron, Ori Lahav |
| 2018 | Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018 Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe, Thomas Studer |
| 2018 | An Intuitionistic Axiomatization of 'Eventually'. Martín Diéguez, David Fernández-Duque |
| 2018 | Canonicity Frameworks and Ultraproducts of Polarities. Robert Goldblatt |
| 2018 | Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis. Gaëtan Douéneau-Tabot, Sophie Pinchinat, François Schwarzentruber |
| 2018 | Coherence in Modal Logic. Tomasz Kowalski, George Metcalfe |
| 2018 | Complexity of Dynamic Epistemic Logic with Common Knowledge. Tristan Charrier, François Schwarzentruber |
| 2018 | Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?. Marianna Girlando, Nicola Olivetti, Sara Negri |
| 2018 | Cut-Free Modal Theory of Definite Descriptions. Andrzej Indrzejczak |
| 2018 | Cut-Free Sequent Calculi for Products and Relativised Products of Modal Logics. Birgit Elbl |
| 2018 | Dependence Statements Are Strict Conditionals. Ivano Ciardelli |
| 2018 | Frame-Validity Games and Absolute Minimality of Modal Axioms. Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev |
| 2018 | Here and There Modal Logic with Dual Implication. Philippe Balbiani, Martín Diéguez |
| 2018 | Intermediate Logics: From Hypersequents to Concurrent Computation. Agata Ciabattoni |
| 2018 | Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents. Roman Kuznets, Björn Lellmann |
| 2018 | Kripke Completeness of Strictly Positive Modal Logics Over Meet Semi-Lattices with Operators. Stanislav Kikot |
| 2018 | Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi. Tiziano Dalmonte, Nicola Olivetti, Sara Negri |
| 2018 | Normal Extensions of KTB of Codimension 3. James Koussas, Tomasz Kowalski, Yutaka Miyazaki, Michael Stevens |
| 2018 | On Kripke Completeness of Some Modal Predicate Logics with the Density Axiom. Valentin B. Shehtman |
| 2018 | On Strictly Positive Modal Logics with S4.3 Frames. Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2018 | On the Complexity of Modal Separation Logics. Stéphane Demri, Raul Fervari |
| 2018 | On the Logics with Propositional Quantifiers Extending S5Π. Yifeng Ding |
| 2018 | One Modal Logic to Rule Them All?. Wesley H. Holliday, Tadeusz Litak |
| 2018 | One-Generated WS5-Algebras. Alex Citkin |
| 2018 | Pointwise Intersection in Neighbourhood Modal Logic. Frederik Van De Putte, Dominik Klein |
| 2018 | Relational Semantics for the Turing Schmerl Calculus. Eduardo Hermo Reyes, Joost J. Joosten |
| 2018 | Remark on the Superintuitionistic Predicate Logic of Kripke Frames of Finite Height with Constant Domains: A Simpler Kripke Complete Logic That Is Not Strongly Complete. Dmitrij P. Skvortsov |
| 2018 | Ruitenburg's Theorem via Duality and Bounded Bisimulations. Silvio Ghilardi, Luigi Santocanale |
| 2018 | The Bimodal Logic of Commuting Difference Operators Is Decidable. Christopher Hampson |
| 2018 | The Existence of Proof Systems. Rosalie Iemhoff |
| 2018 | The Internalized Disjunction Property for Intuitionistic Justification Logic. Michel Marti, Thomas Studer |
| 2018 | The Temporal Logic of Two-Dimensional Minkowski Spacetime with Slower-Than-Light Accessibility Is Decidable. Robin Hirsch, Brett McLean |
| 2018 | The Worm Calculus. Ana de Almeida Borges, Joost J. Joosten |
| 2018 | Truth-Preserving Operations on Sums of Kripke Frames. Ilya Shapirovsky |
| 2018 | When Names Are Not Commonly Known: Epistemic Logic with Assignments. Yanjing Wang, Jeremy Seligman |