default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th Advances in Modal Logic 2022: Rennes, France
- David Fernández-Duque, Alessandra Palmigiano, Sophie Pinchinat:
Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. College Publications 2022, ISBN 978-1-84890-413-2
Abstracts of Invited Talks
- Willem Conradie:
On parametric phenomena in correspondence theory. AiML 2022: 3-6 - Wesley H. Holliday:
Non-classical modal logic for natural language. AiML 2022: 7-8 - Francesca Poggiolesi:
Explanations in logic. AiML 2022: 9-10 - Rineke Verbrugge:
Not the sky, but the third floor is the limit: Zero-one laws for provability logic, S4, and K4. AiML 2022: 11
Contributed Papers
- Matteo Acclavio, Lutz Straßburger:
Combinatorial Proofs for Constructive Modal Logic. AiML 2022: 15-36 - Ruba Alassaf, Renate A. Schmidt, Uli Sattler:
Saturation-Based Uniform Interpolation for Multi-Modal Logics. AiML 2022: 37-57 - Amirhossein Akbar Tabatabai:
Provability Logics of Hierarchies. AiML 2022: 59-76 - Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai:
Uniform Lyndon interpolation for intuitionistic monotone modal logic. AiML 2022: 77-96 - Philippe Balbiani, Saúl Fernández González:
Parametrized modal logic I: An introduction. AiML 2022: 97-117 - Philippe Balbiani, Quentin Gougeon:
Projective unification through duality. AiML 2022: 119-134 - Balder ten Cate, Raoul Koudijs, Johan van Benthem:
Local Dependence and Guarding. AiML 2022: 135-154 - Inmaculada Perez de Guzmán, Antonio Yuste-Ginel, Alfredo Burrieza:
A multi-modal logic for Galois connections. AiML 2022: 155-176 - Ahmee Christensen:
Completeness for an Intuitionistic Modal Logic of Vagueness. AiML 2022: 177-197 - Lutz Straßburger, Matteo Tesi, Agata Ciabattoni:
Taming Bounded Depth with Nested Sequents. AiML 2022: 199-216 - Ivano Ciardelli:
Describing neighborhoods in inquisitive modal logic. AiML 2022: 217-236 - George Metcalfe, Naomi Tokuda, Petr Cintula:
Algebraic Semantics for One-Variable Lattice-Valued Logics. AiML 2022: 237-258 - Willem Conradie, Mattia Panettiere:
Modal inverse correspondence via ALBA. AiML 2022: 259-280 - Tiziano Dalmonte:
Wijesekera-style constructive modal logics. AiML 2022: 281-303 - Tiziano Dalmonte, Marianna Girlando:
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. AiML 2022: 305-327 - Anupam Das, Sonia Marin:
Modal logic and the polynomial hierarchy: from QBFs to K and back. AiML 2022: 329-348 - Krisztina Fruzsa, Roman Kuznets, Hans van Ditmarsch:
A New Hope. AiML 2022: 349-369 - Andrea De Domenico, Giuseppe Greco:
Algorithmic correspondence and analytic rules. AiML 2022: 371-389 - Nicolas Fröhlich, Arne Meier:
Submodel Enumeration of Kripke Structures in Modal Logic. AiML 2022: 391-406 - Guillermo Badia, Tomasz Kowalski, Daniel Gaina:
Robinson consistency in many-sorted hybrid first-order logics. AiML 2022: 407-428 - Ian Shillito, Rajeev Goré:
Direct elimination of additive-cuts in GL4ip: verified and extracted. AiML 2022: 429-449 - Gianluca Grilletti:
Medvedev logic is the logic of finite distributive lattices without top element. AiML 2022: 451-466 - Jim de Groot:
Goldblatt-Thomason Theorems for Modal Intuitionistic Logics. AiML 2022: 467-489 - Robin Hirsch, Brett McLean:
EXPTIME-hardness of higher-dimensional Minkowski spacetime. AiML 2022: 491-505 - Wesley H. Holliday:
Compatibility and accessibility: Lattice representations for semantics of non-classical and modal logics. AiML 2022: 507-529 - Wojtek Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski:
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. AiML 2022: 531-556 - Guillaume Massas:
Choice-Free de Vries Duality. AiML 2022: 557-577 - Satoru Niki:
Intuitionistic Modality and Beth Semantics. AiML 2022: 579-599 - Hiroakira Ono, Katsuhiko Sano:
Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic. AiML 2022: 601-623 - Eugenio Orlandelli, Matteo Tesi:
Labelled sequent calculi for logics of strict implication. AiML 2022: 625-641 - Mattia Panettiere, Apostolos Tzimoulis:
Graded modal logic with a single modality. AiML 2022: 643-657 - Jan Rooduijn, Lukas Zenger:
An analytic proof system for common knowledge logic over S5. AiML 2022: 659-679 - Denis I. Saveliev, Ilya Shapirovsky:
Medvedev's logic and products of converse well orders. AiML 2022: 681-696 - Igor Sedlár, Pietro Vigiani:
Relevant Reasoners in a Classical World. AiML 2022: 697-717 - Yanjing Wang, Yunsong Wang, Haoyu Wang:
An Epistemic Interpretation of Tensor Disjunction. AiML 2022: 719-739
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 2024-11-15 19:20 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:
