AIML 2024: ADVANCES IN MODAL LOGIC 2024

A
Afshari, Bahareh	Intuitionistic Master Modality
Aguilera, Juan Pablo	Strong Kripke completeness of the closed fragment of GLP
Aguzzoli, Stefano	Tabular and pretabular varieties of MTL-algebras
Alm, Jeremy	Cyclic group spectra for some small relation algebras
Amrane, Amazigh	Presenting interval pomsets with interfaces
Antonelli, Melissa	On the Proof Theory of Apodictic Syllogistic
B
Balbiani, Philippe	Towards Dynamic Distributed Knowledge
Baltag, Alexandru	Knowability As Continuity: The Modal Logic of Continuous and Uniform Dependence Logics for Data Exchange and Communication
Baronner, Thomas	Irrationality of process replication for higher-dimensional automata
Basold, Henning	Irrationality of process replication for higher-dimensional automata
Bazille, Hugo	Presenting interval pomsets with interfaces
Bellas Acosta, Ignacio	Monotone Ω-sup-fuzzy relations: converse and complementation
Bezhanishvili, Nick	The Goldblatt-Thomason theorem for derivative spaces Logics of polyhedral reachability Coalgebraic Semantics for Intuitionistic Modal Logic
Bianchi, Matteo	Tabular and pretabular varieties of MTL-algebras
Bolander, Thomas	Better Bounded Bisimulation Contractions
Bonzio, Stefano	On the structure of balanced residuated partially-ordered monoids
Bostic, Ashlee	Cyclic group spectra for some small relation algebras
Burigana, Alessandro	Better Bounded Bisimulation Contractions
Busaniche, Manuela	Towards an Algebraic Theory of KD45-like Logics
Bussi, Laura	Logics of polyhedral reachability
Bílková, Marta	Group Epistemics, (Co-)algebraically Bisimulation for Impure Simplicial Complexes
C
Cachin, Christian	Simplicial Belief
Calk, Cameron	Complete congruences of completely distributive lattices
Chenault, Claire	Cyclic group spectra for some small relation algebras
Chichery, Gregory	Lifting star-autonomy
Christensen, Ahmee	Logics of Knowability
Ciancia, Vincenzo	Logics of polyhedral reachability
Clement, Emily	Presenting interval pomsets with interfaces
Coleman, Kenyon	Cyclic group spectra for some small relation algebras
Comer, Jesse	Lovász Theorems for Modal Languages
Craig, Andrew	Frames and spaces for distributive quasi relation algebras and involutive FL-algebras
Culver, Chesney	Cyclic group spectra for some small relation algebras
D
de Lacroix, Cédric	Lifting star-autonomy
Ding, Yifeng	Some General Completeness Results for Propositionally Quantified Modal Logics
Ding, Yiwen	Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
Dong, Huimin	Epistemic Positions: Towards a Formal Theory of Epistemic Injustice
E
Evangelou-Oost, Naso	Restructuring a concurrent refinement algebra
F
Fahrenberg, Uli	Developments in higher-dimensional automata theory Presenting interval pomsets with interfaces
Fernández-Duque, David	Modal Logics in Dynamical Systems The Goldblatt-Thomason theorem for derivative spaces A tree rewriting system for the Reflection Calculus Logics of polyhedral reachability
Fussner, Wesley	Varieties of BL-algebras with the amalgamation property: an exhaustive classification
G
Gabelaia, David	Logics of polyhedral reachability
Gagarin, Aleksandr	Products of Horn Modal Logics
Gaina, Daniel	Birkhoff style proof systems for hybrid-dynamic quantum logic
Galimullin, Rustam	Varieties of Distributed Knowledge
Ghilardi, Silvio	Unification with Simple Variable Restrictions and Admissibility of Pi2-Rules
Gil-Férez, José	On the structure of balanced residuated partially-ordered monoids
Glück, Roland	A matrix-oriented view of bisimulation quotients over dioid-labeled transition systems
Goncharov, Sergey	Pushing the Limits of Kleene Algebra
Gonzalez, Daniel	Modal Models in the Premodal Language
Greati, Vitor	Deducibility in the full Lambek calculus with weakening is HAck-complete
Grotenhuis, Lide	Intuitionistic Master Modality
Guallart, Nino	Formal properties of stochastic matrices for subjective probabilistic operators in kripke frames
H
Hablicsek, Márton	Irrationality of process replication for higher-dimensional automata
Hayes, Ian	Restructuring a concurrent refinement algebra
Hazem, Merium	First-order Probabilistic Logic with Sequence Variables and Unranked Symbols
Holliday, Wesley	Modal logic, fundamentally
Hulstijn, Joris	Epistemic Positions: Towards a Formal Theory of Epistemic Injustice
J
Jankovec, Filip	Variety of pointed Abelian l-groups
Jaoua, Ali	Fuzzy and crisp binary relation reduction: applications for data summarization and anomalies detections
Jipsen, Peter	On the structure of balanced residuated partially-ordered monoids Frames and spaces for distributive quasi relation algebras and involutive FL-algebras
Joosten, Joost Johannes	A tree rewriting system for the Reflection Calculus
Joosten, Sebastiaan	Data migration under a changing schema in ampersand
Joosten, Stef	Data migration under a changing schema in ampersand
K
Kowalski, Tomasz	Relation-Algebraic Approach to Qualitative Calculi
Kuijer, Louwe B.	Varieties of Distributed Knowledge
Kurtanidze, Lia	First-order Probabilistic Logic with Sequence Variables and Unranked Symbols
Kurucz, Agi	The Interpolant Existence Problem for Weak K4 and Difference Logic
Kurz, Alexander	Canonical Extensions of Fuzzy Algebras
Kuznets, Roman	Bisimulation for Impure Simplicial Complexes
L
Lehnherr, David	Simplicial Belief
Leigh, Graham	Intuitionistic Master Modality
Li, Yipu	Some General Completeness Results for Propositionally Quantified Modal Logics
Liu, Xinghan	The complexity of reasoning about classifiers
Lorini, Emiliano	The complexity of reasoning about classifiers
M
Manoorkar, Krishna	Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
Marcos, Miguel	Towards an Algebraic Theory of KD45-like Logics
Marin, Sonia	Nested proof theory for quasi-transitive modal logics
Markovich, Réka	Epistemic Positions: Towards a Formal Theory of Epistemic Injustice
Massas, Guillaume	Goldblatt-Thomason Theorems for Fundamental (Modal) Logic
Meinicke, Larissa	Restructuring a concurrent refinement algebra
Metcalfe, George	Towards an Algebraic Theory of KD45-like Logics
Metcalfe, George	Right-orders on free groups
Mojtahedi, Mojtaba	Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
Müller, Valentin	Natural Deduction, Normalization and Subformula Property for Kreisel-Putnam Logic
N
Nakamura, Yoshiki	Undecidability of the positive calculus of relations with transitive closure and difference: hypothesis elimination using graph loops
Nalon, Claudia	Efficient Theorem-Proving for Modal Logics
Nicolau Almeida, Rodrigo	Unification with Simple Variable Restrictions and Admissibility of Pi2-Rules Coalgebraic Semantics for Intuitionistic Modal Logic
P
Padhiar, Paaras	Nested proof theory for quasi-transitive modal logics
Panettiere, Mattia	Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
Papafilippou, Konstantinos	Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
Pezlar, Ivo	Informative Presupposition in Inquisitive Logic
Poiger, Wolfgang	Positive modal logic over finite MV-chains
Punčochář, Vít	Informative Presupposition in Inquisitive Logic
Přenosil, Adam	On the structure of balanced residuated partially-ordered monoids
R
Ramanayake, Revantha	Deducibility in the full Lambek calculus with weakening is HAck-complete
Randrianomentsoa, Rojo	Bisimulation for Impure Simplicial Complexes
Robinson, Claudette	Frames and spaces for distributive quasi relation algebras and involutive FL-algebras
Rozplokhas, Dmitry	LEGO-like Small Model Constructions for Åqvist’s Logics
Rukhaia, Mikheil	First-order Probabilistic Logic with Sequence Variables and Unranked Symbols
Rybakov, Mikhail	On the system of positive slices in the structure of superintuitionistic predicate logics
S
Santiago-Fernández, Sofía	A tree rewriting system for the Reflection Calculus
Santocanale, Luigi	Complete congruences of completely distributive lattices Lifting star-autonomy
Santschi, Simon	Right-orders on free groups
Santschi, Simon	Varieties of BL-algebras with the amalgamation property: an exhaustive classification
Shehtman, Valentin	Fusions of canonical predicate modal logics are canonical
Shkatov, Dmitry	On the system of positive slices in the structure of superintuitionistic predicate logics Fusions of canonical predicate modal logics are canonical
Sierra Miranda, Borja	Coalgebraic proof translations of non-wellfounded proofs
Skvortsov, Dmitrij	On the system of positive slices in the structure of superintuitionistic predicate logics
Smets, Sonja	Logics for Data Exchange and Communication
Stell, John	Monotone Ω-sup-fuzzy relations: converse and complementation
Stepanov, Grigorii	Strong Kripke completeness of the closed fragment of GLP
Studer, Thomas	Coalgebraic proof translations of non-wellfounded proofs Simplicial Belief
Sugimoto, Melissa	On the structure of balanced residuated partially-ordered monoids
T
Tang, Wen	Substitution as Modality
Ternovska, Eugenia	Promise algebra: a functional approach to non-deterministic computations
Tibua, Lali	First-order Probabilistic Logic with Sequence Variables and Unranked Symbols
Trancón Y Widemann, Baltasar	Towards a relation-algebraic account of control flow graph analysis
Tzimoulis, Apostolos	Canonical Extensions of Fuzzy Algebras
U
Uckelman, Sara L.	An Aretaic Approach to Deontic Logic
V
van den Berg, Line	Towards an Algebraic Theory of KD45-like Logics
van Ditmarsch, Hans	Towards Dynamic Distributed Knowledge Bisimulation for Impure Simplicial Complexes
von Plato, Jan	On the Proof Theory of Apodictic Syllogistic The exact correspondence between intuitionistic and modal logic
W
Wang, Ruoding	Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
Wang, Yanjing	Substitution as Modality Point-Set Neighborhood Logic
Wen, Xuefeng	A modal logic for reasoning in contexts
Winter, Sarah	Decomposition of Finite-Valued Transducers
Wolter, Frank	The Interpolant Existence Problem for Weak K4 and Difference Logic
Y
Yang, Yuanzhe	A First-order Modal Logic of Strict Implication on Varying-Domain Models
Yarrow, Joshua	An Aretaic Approach to Deontic Logic
Yu, Junhua	Point-Set Neighborhood Logic
Z
Zakharyaschev, Michael	The Interpolant Existence Problem for Weak K4 and Difference Logic
Zenger, Lukas	Intuitionistic Master Modality Coalgebraic proof translations of non-wellfounded proofs
Ziemiański, Krzysztof	Presenting interval pomsets with interfaces
Zoghifard, Reihane	The Goldblatt-Thomason theorem for derivative spaces

Disclaimer | Powered by EasyChair Smart Program