# AiML2018 Accepted Papers

Ana de Almeida Borges and Joost Joosten. *The Worm Calculus*

Arnon Avron and Ori Lahav. *A Simple Cut-Free System for a Paraconsistent Logic Equivalent to S5*

David Baelde, Anthony Lick and Sylvain Schmitz. *A Hypersequent Calculus with Clusters for Linear Frames*

Philippe Balbiani and Martín Diéguez. *Here and There modal logic with dual implication*

Philippe Balbiani, David Fernández-Duque, Andreas Herzig and Petar Iliev. *Frame-validity games and absolute minimality of modal axioms*

Tristan Charrier and Francois Schwarzentruber. *Complexity of Dynamic Epistemic Logic with Common Knowledge*

Ivano Ciardelli. *Dependence statements are strict conditionals*

Alex Citkin. *One-Generated WS5-algebras*

Tiziano Dalmonte, Nicola Olivetti and Sara Negri. *Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi*

Stéphane Demri and Raul Fervari. *On the Complexity of Modal Separation Logics*

Martín Diéguez and David Fernández-Duque. *An intuitionistic axiomatization of 'eventually'*

Yifeng Ding. *On the Logics with Propositional Quantifiers Extending S5Π*

Gaëtan Douéneau-Tabot, Sophie Pinchinat and François Schwarzentruber. *Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis*

Birgit Elbl. *Cut-free sequent calculi for products and relativised products of modal logics*

Silvio Ghilardi and Luigi Santocanale. *Ruitenburg’s Theorem via Duality and Bounded Bisimulations*

Marianna Girlando, Sara Negri and Nicola Olivetti. *Counterfactual logic: labelled and internal calculi, two sides of the same coin?*

Christopher Hampson. *The bimodal logic of commuting difference operators is decidable*

Eduardo Hermo Reyes and Joost Joosten. *Relational semantics for the Turing Schmerl calculus*

Wesley Holliday and Tadeusz Litak. *One Modal Logic to Rule Them All?*

Andrzej Indrzejczak. *Cut-Free Modal Theory of Definite Descriptions*

Fengkui Ju, Gianluca Grilletti and Valentin Goranko. *Logic of temporal conditionals and a solution to the Sea Battle Puzzle*

Stanislav Kikot, Agi Kurucz, Frank Wolter and Michael Zakharyaschev. *On Strictly Positive Modal Logics with S4.3 Frames*

James Koussas, Tomasz Kowalski, Yutaka Miyazaki and Michael Stevens. *Normal extensions of KTB of codimension 3*

Tomasz Kowalski and George Metcalfe. *Coherence in Modal Logic*

Roman Kuznets and Björn Lellmann. *Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents*

Stepan Kuznetsov. **-continuity vs. induction: divide and conquer*

Michel Marti and Thomas Studer. *The internalized disjunction property for intuitionistic justification logic*

Brett McLean and Robin Hirsch. *The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable*

Mikhail Rybakov and Dmitry Shkatov. *A recursively-enumerable Kripke-complete first-order logic not complete with respect to a first-order definable class of frames*

Jeremy Seligman and Yanjing Wang. *Call me by your name: epistemic logic with assignments and non-rigid names*

Ilya Shapirovsky. *Truth-preserving operations on sums of Kripke frames*

Valentin Shehtman. *On Kripke completeness of some modal predicate logics with the density axiom*

Dmitrij Skvortsov. *A 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*

Frederik Van De Putte and Dominik Klein. *Pointwise intersection in neighbourhood modal logic*