default search action

combined dblp search
author search
venue search
publication search

ask others

15th AiML 2024: Prague, Czech Republic

> Home > Conferences and Workshops > AiML

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/2024
Agata Ciabattoni, David Gabelaia, Igor Sedlár:
Advances in Modal Logic, AiML 2024, Prague, Czech Republic, August 19-23, 2024. College Publications 2024, ISBN 978-1-84890-467-5

Abstracts of Invited Talks

- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/Baltag24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Baltag24
Alexandru Baltag:
Knowability as Continuity: The Modal Logic of Continuous and Uniform Dependence. AiML 2024: 3
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/Bilkova24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Bilkova24
Marta Bílková:
Group Epistemics, (Co-)algebraically. AiML 2024: 5-7
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/Fernandez-Duque24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Fernandez-Duque24
David Fernández-Duque:
Modal Logics in Dynamical Systems. AiML 2024: 9-11
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/Nalon24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Nalon24
Cláudia Nalon:
Efficient Theorem-Proving for Modal Logics. AiML 2024: 13-16

Contributed Papers

- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/AfshariGLZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/AfshariGLZ24
Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger:
Intuitionistic Master Modality. AiML 2024: 19-39
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/0001S24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/0001S24
Juan P. Aguilera, Grigorii Stepanov:
Strong Completeness of the Closed Fragment of GLP. AiML 2024: 41-58
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/AlmeidaB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/AlmeidaB24
Rodrigo Nicolau Almeida, Nick Bezhanishvili:
Coalgebraic Semantics for Intuitionistic Modal Logic. AiML 2024: 59-77
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/AlmeidaG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/AlmeidaG24
Rodrigo Nicolau Almeida, Silvio Ghilardi:
Unification With Simple Variable Restrictions and Admissibility of Π2-Rules. AiML 2024: 79-100
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/AntonelliP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/AntonelliP24
Melissa Antonelli, Jan von Plato:
On the Proof Theory of Apodictic Syllogistic. AiML 2024: 101-123
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/BalbianiD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/BalbianiD24
Philippe Balbiani, Hans van Ditmarsch:
Towards Dynamic Distributed Knowledge. AiML 2024: 125-146
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/BaltagS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/BaltagS24
Alexandru Baltag, Sonja Smets:
Logics for Data Exchange and Communication. AiML 2024: 147-169
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/BergBMM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/BergBMM24
Line van den Berg, Manuela Busaniche, Miguel Andrés Marcos, George Metcalfe:
Towards an Algebraic Theory of KD45-Like Logics. AiML 2024: 171-186
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/BezhanishviliBC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/BezhanishviliBC24
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia:
Logics of Polyhedral Reachability. AiML 2024: 187-204
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/BezhanishviliFZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/BezhanishviliFZ24
Nick Bezhanishvili, David Fernández-Duque, Reihane Zoghifard:
The Goldblatt-Thomason Theorem for Derivative Spaces. AiML 2024: 205-223
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/BilkovaDKR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/BilkovaDKR24
Marta Bílková, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa:
Bisimulation for Impure Simplicial Complexes. AiML 2024: 225-248
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/BolanderB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/BolanderB24
Thomas Bolander, Alessandro Burigana:
Better Bounded Bisimulation Contractions. AiML 2024: 249-267
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/Comer24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Comer24
Jesse Comer:
Lovász Theorems for Modal Languages. AiML 2024: 269-291
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/DingL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/DingL24
Yifeng Ding, Yipu Li:
Some General Completeness Results for Propositionally Quantified Modal Logics. AiML 2024: 293-313
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/DingMPW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/DingMPW24
Yifeng Ding, Krishna Manoorkar, Mattia Panettiere, Ruoding Wang:
Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic. AiML 2024: 315-333
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/FornasiereMV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/FornasiereMV24
Damiano Fornasiere, Johannes Marti, Giovanni Varricchione:
Frame Definability in Conditional Logic. AiML 2024: 335-356
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/Gaina24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Gaina24
Daniel Gaina:
Birkhoff Style Proof Systems for Hybrid-Dynamic Quantum Logic. AiML 2024: 357-378
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/GalimullinK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/GalimullinK24
Rustam Galimullin, Louwe B. Kuijer:
Varieties of Distributed Knowledge. AiML 2024: 379-400
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/GreatiR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/GreatiR24
Vitor Greati, Revantha Ramanayake:
Deducibility in the Full Lambek Calculus with Weakening Is HAck-Complete. AiML 2024: 401-422
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/Holliday24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Holliday24
Wesley H. Holliday:
Modal Logic, Fundamentally. AiML 2024: 423-446
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/Christensen24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Christensen24
Ahmee Christensen:
Logics of Knowability. AiML 2024: 447-464
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/KuruczWZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/KuruczWZ24
Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
The Interpolant Existence Problem for Weak K4 and Difference Logic. AiML 2024: 465-483
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/LiuL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/LiuL24
Xinghan Liu, Emiliano Lorini:
The Complexity of Reasoning about Classifiers. AiML 2024: 485-504
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/Massas24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Massas24
Guillaume Massas:
Goldblatt-Thomason Theorems for Fundamental (Modal) Logic. AiML 2024: 505-525
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/Sierra-MirandaS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Sierra-MirandaS24
Borja Sierra-Miranda, Thomas Studer, Lukas Zenger:
Coalgebraic Proof Translations for Non-Wellfounded Proofs. AiML 2024: 527-548
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/MojtahediP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/MojtahediP24
Mojtaba Mojtahedi, Konstantinos Papafilippou:
Projectivity Meets Uniform Post-Interpolant: Classical and Intuitionistic Logic. AiML 2024: 549-564
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/Muller24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Muller24
Valentin Müller:
Natural Deduction, Normalization and Subformula Property for Kreisel-Putnam Logic. AiML 2024: 565-585
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/Poiger24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Poiger24
Wolfgang Poiger:
Positive Modal Logic Over Finite MV-Chains. AiML 2024: 587-607
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/PuncocharP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/PuncocharP24
Vít Puncochár, Ivo Pezlar:
Informative Presupposition in Inquisitive Logic. AiML 2024: 609-630
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/Rozplokhas24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Rozplokhas24
Dmitry Rozplokhas:
LEGO-Like Small Model Constructions for Åqvist's Logics. AiML 2024: 631-651
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/RybakovSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/RybakovSS24
Mikhail N. Rybakov, Dmitry Shkatov, Dmitrij P. Skvortsov:
On the System of Positive Slices in the Structure of Superintuitionistic Predicate Logics. AiML 2024: 653-674
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/Santiago-Fernandez24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Santiago-Fernandez24
Sofía Santiago-Fernández, Joost J. Joosten, David Fernández-Duque:
A Tree Rewriting System for the Reflection Calculus. AiML 2024: 675-695
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/0001Y24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/0001Y24
Yanjing Wang, Junhua Yu:
Point-Set Neighborhood Logic. AiML 2024: 697-717
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/Wen24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Wen24
Xuefeng Wen:
A Modal Logic for Reasoning in Contexts. AiML 2024: 719-740
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/Yang24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Yang24
Yuanzhe Yang:
A First-order Modal Logic of Strict Implication on Varying-Domain Models. AiML 2024: 741-760

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.