| 2018 | On Strictly Positive Modal Logics with S4.3 Frames. | Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2018 | Kripke Completeness of Strictly Positive Modal Logics Over Meet Semi-Lattices with Operators. | Stanislav Kikot |
| 2018 | A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle. | Fengkui Ju, Gianluca Grilletti, Valentin Goranko |
| 2018 | Cut-Free Modal Theory of Definite Descriptions. | Andrzej Indrzejczak |
| 2018 | The Existence of Proof Systems. | Rosalie Iemhoff |
| 2018 | One Modal Logic to Rule Them All?. | Wesley H. Holliday, Tadeusz Litak |
| 2018 | The Temporal Logic of Two-Dimensional Minkowski Spacetime with Slower-Than-Light Accessibility Is Decidable. | Robin Hirsch, Brett McLean |
| 2018 | The Bimodal Logic of Commuting Difference Operators Is Decidable. | Christopher Hampson |
| 2018 | Canonicity Frameworks and Ultraproducts of Polarities. | Robert Goldblatt |
| 2018 | Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?. | Marianna Girlando, Nicola Olivetti, Sara Negri |
| 2018 | Ruitenburg's Theorem via Duality and Bounded Bisimulations. | Silvio Ghilardi, Luigi Santocanale |
| 2018 | Cut-Free Sequent Calculi for Products and Relativised Products of Modal Logics. | Birgit Elbl |
| 2018 | Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis. | Gatan Douneau-Tabot, Sophie Pinchinat, Franois Schwarzentruber |
| 2018 | On the Logics with Propositional Quantifiers Extending S5Π. | Yifeng Ding |
| 2018 | An Intuitionistic Axiomatization of 'Eventually'. | Martn Diguez, David Fernndez-Duque |
| 2018 | On the Complexity of Modal Separation Logics. | Stphane Demri, Raul Fervari |
| 2018 | Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi. | Tiziano Dalmonte, Nicola Olivetti, Sara Negri |
| 2018 | One-Generated WS5-Algebras. | Alex Citkin |
| 2018 | Dependence Statements Are Strict Conditionals. | Ivano Ciardelli |
| 2018 | Intermediate Logics: From Hypersequents to Concurrent Computation. | Agata Ciabattoni |
| 2018 | Complexity of Dynamic Epistemic Logic with Common Knowledge. | Tristan Charrier, Franois Schwarzentruber |
| 2018 | The Worm Calculus. | Ana de Almeida Borges, Joost J. Joosten |
| 2018 | Frame-Validity Games and Absolute Minimality of Modal Axioms. | Philippe Balbiani, David Fernndez-Duque, Andreas Herzig, Petar Iliev |
| 2018 | Here and There Modal Logic with Dual Implication. | Philippe Balbiani, Martn Diguez |
| 2018 | A Hypersequent Calculus with Clusters for Linear Frames. | David Baelde, Anthony Lick, Sylvain Schmitz |