default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAdvances in Modal Logic 2018: Bern, Switzerland
- Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe, Thomas Studer:
Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. College Publications 2018, ISBN 978-1-84890-255-8
Abstracts of Invited Talks
- Agata Ciabattoni:
Intermediate Logics: From Hypersequents to Concurrent Computation. 3 - Robert Goldblatt:
Canonicity Frameworks and Ultraproducts of Polarities. 5 - Rosalie Iemhoff:
The Existence of Proof Systems. 7 - Stanislav Kikot:
Kripke Completeness of Strictly Positive Modal Logics Over Meet Semi-Lattices with Operators. 9
Contributed Papers
- Ana de Almeida Borges, Joost J. Joosten:
The Worm Calculus. 13-27 - Arnon Avron, Ori Lahav:
A Simple Cut-Free System for a Paraconsistent Logic Equivalent to S5. 29-42 - David Baelde, Anthony Lick, Sylvain Schmitz:
A Hypersequent Calculus with Clusters for Linear Frames. 43-62 - Philippe Balbiani, Martín Diéguez
:
Here and There Modal Logic with Dual Implication. 63-82 - Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev:
Frame-Validity Games and Absolute Minimality of Modal Axioms. 83-102 - Tristan Charrier, François Schwarzentruber:
Complexity of Dynamic Epistemic Logic with Common Knowledge. 103-122 - Ivano Ciardelli:
Dependence Statements Are Strict Conditionals. 123-142 - Alex Citkin:
One-Generated WS5-Algebras. 143-158 - Tiziano Dalmonte, Nicola Olivetti, Sara Negri:
Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi. 159-178 - Stéphane Demri, Raul Fervari:
On the Complexity of Modal Separation Logics. 179-198 - Martín Diéguez, David Fernández-Duque:
An Intuitionistic Axiomatization of 'Eventually'. 199-218 - Yifeng Ding:
On the Logics with Propositional Quantifiers Extending S5Π. 219-235 - Gaëtan Douéneau-Tabot, Sophie Pinchinat, François Schwarzentruber:
Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis. 237-256 - Birgit Elbl:
Cut-Free Sequent Calculi for Products and Relativised Products of Modal Logics. 257-276 - Silvio Ghilardi, Luigi Santocanale:
Ruitenburg's Theorem via Duality and Bounded Bisimulations. 277-290 - Marianna Girlando, Nicola Olivetti, Sara Negri:
Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?. 291-310 - Christopher Hampson:
The Bimodal Logic of Commuting Difference Operators Is Decidable. 311-326 - Eduardo Hermo Reyes, Joost J. Joosten:
Relational Semantics for the Turing Schmerl Calculus. 327-346 - Robin Hirsch, Brett McLean:
The Temporal Logic of Two-Dimensional Minkowski Spacetime with Slower-Than-Light Accessibility Is Decidable. 347-366 - Wesley H. Holliday, Tadeusz Litak:
One Modal Logic to Rule Them All?. 367-386 - Andrzej Indrzejczak:
Cut-Free Modal Theory of Definite Descriptions. 387-406 - Fengkui Ju, Gianluca Grilletti, Valentin Goranko:
A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle. 407-426 - Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
On Strictly Positive Modal Logics with S4.3 Frames. 427-446 - James Koussas, Tomasz Kowalski, Yutaka Miyazaki, Michael Stevens:
Normal Extensions of KTB of Codimension 3. 447-458 - Tomasz Kowalski, George Metcalfe:
Coherence in Modal Logic. 459-472 - Roman Kuznets, Björn Lellmann:
Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents. 473-492 - Stepan L. Kuznetsov:
*-Continuity vs. Induction: Divide and Conquer. 493-510 - Michel Marti, Thomas Studer:
The Internalized Disjunction Property for Intuitionistic Justification Logic. 511-529 - 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. 531-539 - Ilya Shapirovsky:
Truth-Preserving Operations on Sums of Kripke Frames. 541-558 - Valentin B. Shehtman:
On Kripke Completeness of Some Modal Predicate Logics with the Density Axiom. 559-575 - 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. 577-590 - Frederik Van De Putte, Dominik Klein:
Pointwise Intersection in Neighbourhood Modal Logic. 591-610 - Yanjing Wang, Jeremy Seligman:
When Names Are Not Commonly Known: Epistemic Logic with Assignments. 611-628
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-20 23:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
