Advances in Modal Logic

Keyphrases

Publications

2018

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

2016