Accepted Papers
The following 43 papers have been accepted for AiML 2026.
- Rajab Aghamov, Andrey Kudinov, Maik Nguyen and Jakob Piribauer: On Modal Logics of Full Products of Neighborhood Frames
- Juan P. Aguilera and Guillaume Massas: Implication and Modalities in Constructive Quantum Logics
- Rodrigo Nicolau Almeida: Uniform Local Tabularity in Intuitionistic Logic
- Rodrigo Nicolau Almeida and Matteo De Berardinis: Coequivalence relations and descent in modal logic
- Philippe Balbiani, Hans van Ditmarsch and Clara Lerouvillois: Resolving Asynchronous Distributed Knowledge
- Alexandru Baltag and Sonja Smets: The Logic of Data Access and Data Exchanges
- Fausto Barbero, Marianna Girlando, Valentin Müller and Fan Yang: Labelled Sequent Calculi for Propositional Team Logics
- Gaia Belardinelli and Snow Zhang: Belief Contraction in Dynamic Epistemic Logic
- Nick Bezhanishvili, Jim de Groot and Larry Moss: Modal measurable logics via a modal Loomis-Sikorski representation theorem
- Adam Bjorndahl and Philip Sink: A Semantics for Belief in Simplicial Complexes
- Qian Chen and Tenyo Takahashi: Most Properties are Undecidable for Transitive Tense Logics
- Somayeh Chopoghloo, Massoud Pourmahdian and Reihane Zoghifard: Goldblatt-Thomason Theorem for Probability Logic
- Ivano Ciardelli: Inquisitive Action Logic
- Ivano Ciardelli and Simone Conti: Labelled sequents for inquisitive first-order modal logic
- Alex Citkin: On Strong Structural Completeness of Varieties and Quasivarieties
- Tiziano Dalmonte and Jim de Groot: Intuitionistic Monotone Modal Logic: Proof Theory and Semantics
- Yifeng Ding and Yuanzhe Yang: A General Theory of Propositional Modal Bundled Modalities
- Lev Dvorkin: On interpretations of normal modal logics
- Thomas Ferguson and Shay Logan: Hyperformalism for Relevant Modal Logics
- Mauro Ferrari, Camillo Fiorentini, Paolo Giardini and Ricardo Oscar Rodriguez: A Gödel Modal Logic Over Witnessed Models
- Fèlix Frigola González, Joost J. Joosten, Vicent Navarro Arroyo and Cosimo Perini Brogi: Ultrafilter Extensions for Veltman Semantics
- Aleksandr Gagarin and David Fernández-Duque: Topological Logics of Path-reachability
- Han Gao and Nicola Olivetti: Taming Complexity in Intuitionistic Modal Logic: the case of FIK and its shallow calculus
- Rajeev Gore and Cormac Kikkert: Modal CEGAR-tableaux with RECAR and resolution-based SAT-shortcuts
- Jim de Groot and Tadeusz Litak: Relational semantics for flat Heyting-Lewis Logic
- Jim de Groot, João Marcos and Rodrigo Stefanes: Intuitionistic K is a bisimulation-invariant fragment of intuitionistic first order logic
- John Harding and Ilya Shapirovsky: On modal logics of connectedness in metric spaces
- Chen Huang and Xuefeng Wen: Stratified Counterpossible Logic
- Filip Jankovec and Wolfgang Poiger: Pointed Modal Abelian Logic, Algebraically
- Roman Kontchakov, Dmitry Shkatov and Frank Wolter: Fusions of One-Variable First-Order Modal Logics
- Juha Kontinen and Ivano Ciardelli: On the expressive power of inquisitive team logic and inquisitive first-order logic
- Søren Knudstorp: Possibly Relevant Translations
- Marco Lewis and Nesta van der Schaaf: Some Results on Causal Modalities in General Spacetimes
- Sonia Marin, Paaras Padhiar and Ian Shillito: Intuitionistic Justification Logic, Semantically
- Yoàv Montacute: Halo Semantics for Modal Logic
- Ryo Murai, Sizhuo Liu and Katsuhiko Sano: Analytic Cut in Epistemic Logics with Distributed Knowledge
- Katsuhiko Sano: Uniform Interpolation of Basic Tense Logic
- Igor Sedlar: Non-classical Topological Evidence Logic
- Borja Sierra Miranda and Thomas Studer: Uniform Lyndon Interpolation via Non-wellfounded Proofs
- Niels Vooijs and Simon Santschi: Logics Containing wK4: Selection à la Fine
- Hongyi Wang: Knowing-Value Logic with Successor Arithmetic
- Yu Wei: Better Understanding, Understanding Better
- Han Xiao: Non-finite axiomatizability of Generalized Medvedev logics