AiML

Keyphrases

Publications

2022

Philippe Balbiani, Quentin Gougeon
Projective unification through duality. AiML (2022)
Jan Rooduijn, Lukas Zenger
An analytic proof system for common knowledge logic over S5. AiML (2022)
Nicolas Fröhlich, Arne Meier
Submodel Enumeration of Kripke Structures in Modal Logic. AiML (2022)
Ruba Alassaf, Renate A. Schmidt, Uli Sattler
Saturation-Based Uniform Interpolation for Multi-Modal Logics. AiML (2022)
Ian Shillito, Rajeev Goré
Direct elimination of additive-cuts in GL4ip: verified and extracted. AiML (2022)
Guillermo Badia, Tomasz Kowalski, Daniel Gaina
Robinson consistency in many-sorted hybrid first-order logics. AiML (2022)
Amirhossein Akbar Tabatabai
Provability Logics of Hierarchies. AiML (2022)
Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai
Uniform Lyndon interpolation for intuitionistic monotone modal logic. AiML (2022)
Philippe Balbiani, Saúl Fernández González
Parametrized modal logic I: An introduction. AiML (2022)
Jim de Groot
Goldblatt-Thomason Theorems for Modal Intuitionistic Logics. AiML (2022)
Denis I. Saveliev, Ilya Shapirovsky
Medvedev's logic and products of converse well orders. AiML (2022)
Guillaume Massas
Choice-Free de Vries Duality. AiML (2022)
Hiroakira Ono, Katsuhiko Sano
Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic. AiML (2022)
Krisztina Fruzsa, Roman Kuznets, Hans van Ditmarsch
A New Hope. AiML (2022)
Rineke Verbrugge
Not the sky, but the third floor is the limit: Zero-one laws for provability logic, S4, and K4. AiML (2022)
Tiziano Dalmonte
Wijesekera-style constructive modal logics. AiML (2022)
Willem Conradie, Mattia Panettiere
Modal inverse correspondence via ALBA. AiML (2022)
Inmaculada Perez de Guzmán, Antonio Yuste-Ginel, Alfredo Burrieza
A multi-modal logic for Galois connections. AiML (2022)
Ivano Ciardelli
Describing neighborhoods in inquisitive modal logic. AiML (2022)
George Metcalfe, Naomi Tokuda, Petr Cintula
Algebraic Semantics for One-Variable Lattice-Valued Logics. AiML (2022)
Tiziano Dalmonte, Marianna Girlando
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. AiML (2022)
Wojtek Jamroga, Lukasz Mako, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. AiML (2022)
Matteo Acclavio, Lutz Straßburger, Renate A. Schmidt, Uli Sattler, Ruba Alassaf
Combinatorial Proofs for Constructive Modal Logic. AiML (2022)
Wesley H. Holliday
Compatibility and accessibility: Lattice representations for semantics of non-classical and modal logics. AiML (2022)
Igor Sedlár, Pietro Vigiani
Relevant Reasoners in a Classical World. AiML (2022)
Mattia Panettiere, Apostolos Tzimoulis
Graded modal logic with a single modality. AiML (2022)
Wesley H. Holliday
Non-classical modal logic for natural language. AiML (2022)
Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. AiML (2022)
Lutz Straßburger, Matteo Tesi, Agata Ciabattoni
Taming Bounded Depth with Nested Sequents. AiML (2022)
Balder ten Cate, Raoul Koudijs, Johan van Benthem
Local Dependence and Guarding. AiML (2022)
Andrea De Domenico, Giuseppe Greco
Algorithmic correspondence and analytic rules. AiML (2022)
Robin Hirsch, Brett McLean
EXPTIME-hardness of higher-dimensional Minkowski spacetime. AiML (2022)
Eugenio Orlandelli, Matteo Tesi
Labelled sequent calculi for logics of strict implication. AiML (2022)
Ahmee Christensen
Completeness for an Intuitionistic Modal Logic of Vagueness. AiML (2022)
Satoru Niki
Intuitionistic Modality and Beth Semantics. AiML (2022)
Willem Conradie
On parametric phenomena in correspondence theory. AiML (2022)
Gianluca Grilletti
Medvedev logic is the logic of finite distributive lattices without top element. AiML (2022)
Yanjing Wang, Yunsong Wang, Haoyu Wang
An Epistemic Interpretation of Tensor Disjunction. AiML (2022)
Francesca Poggiolesi, Rineke Verbrugge
Explanations in logic. AiML (2022)
Anupam Das, Sonia Marin
Modal logic and the polynomial hierarchy: from QBFs to K and back. AiML (2022)

2020