AIML 2024: ADVANCES IN MODAL LOGIC 2024

This page contains an index consisting of author-provided keywords.

A
Admissibility	Unification with Simple Variable Restrictions and Admissibility of Pi2-Rules
Admissible Rules	Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
algebra	Decomposition of Finite-Valued Transducers
algebraic completeness	Positive modal logic over finite MV-chains
algebraic semantics	Canonical Extensions of Fuzzy Algebras
algebraic specification	Birkhoff style proof systems for hybrid-dynamic quantum logic
Ampersand	Data migration under a changing schema in ampersand
Apodictic Syllogistic	On the Proof Theory of Apodictic Syllogistic
Aristotle	On the Proof Theory of Apodictic Syllogistic
automated reasoning	Efficient Theorem-Proving for Modal Logics
axiomatisation	Pushing the Limits of Kleene Algebra
B
belief modality	Simplicial Belief
belief revision
Bias	Epistemic Positions: Towards a Formal Theory of Epistemic Injustice
Birkhoff completeness	Birkhoff style proof systems for hybrid-dynamic quantum logic
bisimulation	Bisimulation for Impure Simplicial Complexes
bisimulation characterization	Towards Dynamic Distributed Knowledge
Bisimulation contractions	Better Bounded Bisimulation Contractions
Bisimulations	Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
BL-algebras	Tabular and pretabular varieties of MTL-algebras
blank1	A matrix-oriented view of bisimulation quotients over dioid-labeled transition systems Formal properties of stochastic matrices for subjective probabilistic operators in kripke frames Variety of pointed Abelian l-groups Right-orders on free groups On the structure of balanced residuated partially-ordered monoids Fuzzy and crisp binary relation reduction: applications for data summarization and anomalies detections Varieties of BL-algebras with the amalgamation property: an exhaustive classification Restructuring a concurrent refinement algebra Developments in higher-dimensional automata theory Irrationality of process replication for higher-dimensional automata Complete congruences of completely distributive lattices Promise algebra: a functional approach to non-deterministic computations Towards a relation-algebraic account of control flow graph analysis
blank2	A matrix-oriented view of bisimulation quotients over dioid-labeled transition systems Formal properties of stochastic matrices for subjective probabilistic operators in kripke frames Variety of pointed Abelian l-groups Right-orders on free groups On the structure of balanced residuated partially-ordered monoids Fuzzy and crisp binary relation reduction: applications for data summarization and anomalies detections Varieties of BL-algebras with the amalgamation property: an exhaustive classification Restructuring a concurrent refinement algebra Developments in higher-dimensional automata theory Irrationality of process replication for higher-dimensional automata Complete congruences of completely distributive lattices Promise algebra: a functional approach to non-deterministic computations Towards a relation-algebraic account of control flow graph analysis
blank3	A matrix-oriented view of bisimulation quotients over dioid-labeled transition systems Formal properties of stochastic matrices for subjective probabilistic operators in kripke frames Variety of pointed Abelian l-groups Right-orders on free groups On the structure of balanced residuated partially-ordered monoids Fuzzy and crisp binary relation reduction: applications for data summarization and anomalies detections Varieties of BL-algebras with the amalgamation property: an exhaustive classification Restructuring a concurrent refinement algebra Developments in higher-dimensional automata theory Irrationality of process replication for higher-dimensional automata Complete congruences of completely distributive lattices Promise algebra: a functional approach to non-deterministic computations Towards a relation-algebraic account of control flow graph analysis
blank4	A matrix-oriented view of bisimulation quotients over dioid-labeled transition systems
Boolean classifiers	The complexity of reasoning about classifiers
Bounded bisimulations	Better Bounded Bisimulation Contractions
C
Calculus of higher-level rules	Natural Deduction, Normalization and Subformula Property for Kreisel-Putnam Logic
canonical extensions	Canonical Extensions of Fuzzy Algebras
canonical frame	Some General Completeness Results for Propositionally Quantified Modal Logics
canonical model	Point-Set Neighborhood Logic
canonicity	Fusions of canonical predicate modal logics are canonical
Cantor derivative	The Goldblatt-Thomason theorem for derivative spaces
Coalgebra	Coalgebraic Semantics for Intuitionistic Modal Logic Coalgebraic proof translations of non-wellfounded proofs
coalgebraic logic	Group Epistemics, (Co-)algebraically
Common Knowledge	Logics for Data Exchange and Communication
Communication protocols	Logics for Data Exchange and Communication
completeness	Logics of Knowability Some General Completeness Results for Propositionally Quantified Modal Logics A First-order Modal Logic of Strict Implication on Varying-Domain Models Substitution as Modality
complexity	Deducibility in the full Lambek calculus with weakening is HAck-complete The complexity of reasoning about classifiers
computational complexity	The Interpolant Existence Problem for Weak K4 and Difference Logic
conditional logic	LEGO-like Small Model Constructions for Åqvist’s Logics
Craig interpolant	The Interpolant Existence Problem for Weak K4 and Difference Logic
Cut elimination	Coalgebraic proof translations of non-wellfounded proofs
Cut-elimination	Nested proof theory for quasi-transitive modal logics
cyclic group representation	Cyclic group spectra for some small relation algebras
Cyclic proofs	Intuitionistic Master Modality
D
Data migration	Data migration under a changing schema in ampersand
deducibility	Deducibility in the full Lambek calculus with weakening is HAck-complete
deontic logic	LEGO-like Small Model Constructions for Åqvist’s Logics An Aretaic Approach to Deontic Logic
dependence	Knowability As Continuity: The Modal Logic of Continuous and Uniform Dependence
Derivation Trees	On the Proof Theory of Apodictic Syllogistic
distributed computing	Logics for Data Exchange and Communication Towards Dynamic Distributed Knowledge Bisimulation for Impure Simplicial Complexes
Distributed Knowledge	Logics for Data Exchange and Communication Varieties of Distributed Knowledge
distributive skeleton	Positive modal logic over finite MV-chains
diversity	Some General Completeness Results for Propositionally Quantified Modal Logics
double negation	Informative Presupposition in Inquisitive Logic
Double negation nucleus	Lifting star-autonomy
Dualizing object	Lifting star-autonomy
Dymamical systems	Modal Logics in Dynamical Systems
Dynamic Epistemic Logic	Logics for Data Exchange and Communication Towards Dynamic Distributed Knowledge
E
epistemic logic	Logics of Knowability Varieties of Distributed Knowledge Bisimulation for Impure Simplicial Complexes Group Epistemics, (Co-)algebraically Knowability As Continuity: The Modal Logic of Continuous and Uniform Dependence Epistemic Positions: Towards a Formal Theory of Epistemic Injustice Simplicial Belief
epistemic modality	A modal logic for reasoning in contexts
Exponential succinctness	Better Bounded Bisimulation Contractions
expressivity	Towards Dynamic Distributed Knowledge
F
filtration	Products of Horn Modal Logics
finite MV-chains	Positive modal logic over finite MV-chains
first-order logic	Substitution as Modality
First-order modal logic	A First-order Modal Logic of Strict Implication on Varying-Domain Models
FLe-algebra	Towards an Algebraic Theory of KD45-like Logics
frame definability
full Lambek calculus	Deducibility in the full Lambek calculus with weakening is HAck-complete
fundamental logic	Goldblatt-Thomason Theorems for Fundamental (Modal) Logic Modal logic, fundamentally
fusion of logics	Fusions of canonical predicate modal logics are canonical
fuzzy logic	Canonical Extensions of Fuzzy Algebras
Fuzzy relations	Monotone Ω-sup-fuzzy relations: converse and complementation
G
Generative software	Data migration under a changing schema in ampersand
Girard quantale	Lifting star-autonomy
GLP	Strong Kripke completeness of the closed fragment of GLP
Goldblatt-Thomason Theorem	Goldblatt-Thomason Theorems for Fundamental (Modal) Logic
Graded Modal Logic	Lovász Theorems for Modal Languages
Grothendieck construction	Lifting star-autonomy
Group knowledge	Varieties of Distributed Knowledge Group Epistemics, (Co-)algebraically
H
Hennessy-Milner theorem	Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
higher-dimensional automaton	Presenting interval pomsets with interfaces
Homomorphism	Lovász Theorems for Modal Languages
Horn formula	Products of Horn Modal Logics
Hybrid Logic	Lovász Theorems for Modal Languages
hyper-Ackermannian problems	Deducibility in the full Lambek calculus with weakening is HAck-complete
Hypothesis elimination	Undecidability of the positive calculus of relations with transitive closure and difference: hypothesis elimination using graph loops
I
Icard spaces	Strong Kripke completeness of the closed fragment of GLP
Ignatiev frame	Strong Kripke completeness of the closed fragment of GLP
Ignatiev logic	Strong Kripke completeness of the closed fragment of GLP
import-export	A modal logic for reasoning in contexts
Incremental software deployment	Data migration under a changing schema in ampersand
indicatives	A modal logic for reasoning in contexts
initiality	Birkhoff style proof systems for hybrid-dynamic quantum logic
Injustice	Epistemic Positions: Towards a Formal Theory of Epistemic Injustice
inquisitive logic	Informative Presupposition in Inquisitive Logic
Instantial Neighborhood Logic	Point-Set Neighborhood Logic
institution	Birkhoff style proof systems for hybrid-dynamic quantum logic
Intermediate logics	Natural Deduction, Normalization and Subformula Property for Kreisel-Putnam Logic
interval order	Presenting interval pomsets with interfaces
intuitionistic logic	Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic Intuitionistic Master Modality Modal logic, fundamentally Modal Logics in Dynamical Systems
Intuitionistic Modal Logic	Coalgebraic Semantics for Intuitionistic Modal Logic
Invariants	Data migration under a changing schema in ampersand
involutive FL-algebras	Frames and spaces for distributive quasi relation algebras and involutive FL-algebras
K
Kleene algebra	Pushing the Limits of Kleene Algebra Undecidability of the positive calculus of relations with transitive closure and difference: hypothesis elimination using graph loops
knowability	Logics of Knowability
Kreisel-Putnam logic	Natural Deduction, Normalization and Subformula Property for Kreisel-Putnam Logic
Kripke models	Better Bounded Bisimulation Contractions
L
lattices	Modal logic, fundamentally
lax modality	Informative Presupposition in Inquisitive Logic
linear temporal logic	Modal Logics in Dynamical Systems
logic	Decomposition of Finite-Valued Transducers
M
many-valued modal logic	Positive modal logic over finite MV-chains
metaphysics	Modal Models in the Premodal Language
Modal definability	The Goldblatt-Thomason theorem for derivative spaces
Modal Heyting Algebras	Coalgebraic Semantics for Intuitionistic Modal Logic
Modal invariance
Modal logic	Intuitionistic Master Modality Better Bounded Bisimulation Contractions Towards an Algebraic Theory of KD45-like Logics
modal logics	Efficient Theorem-Proving for Modal Logics
modal translation	The exact correspondence between intuitionistic and modal logic
Modularity	Nested proof theory for quasi-transitive modal logics
modus ponens	A modal logic for reasoning in contexts
Moore sentences	A modal logic for reasoning in contexts
MTL-algebras	Tabular and pretabular varieties of MTL-algebras
N
Natural deduction	Natural Deduction, Normalization and Subformula Property for Kreisel-Putnam Logic
necessity	Modal logic, fundamentally
neighborhood semantics	Point-Set Neighborhood Logic Group Epistemics, (Co-)algebraically
Nested sequents	Nested proof theory for quasi-transitive modal logics
non-classical modal logic	Modal logic, fundamentally
Non-distributive modal logics	Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
non-interleaving concurrency	Presenting interval pomsets with interfaces
non-monotonic logic
non-normal modal logic	Logics of Knowability
Non-wellfounded proof theory	Coalgebraic proof translations of non-wellfounded proofs
normalization	Natural Deduction, Normalization and Subformula Property for Kreisel-Putnam Logic The exact correspondence between intuitionistic and modal logic
O
obligation	An Aretaic Approach to Deontic Logic
Op-fibration	Lifting star-autonomy
orthologic	Modal logic, fundamentally
P
Paraconsistent modal logic
Paraconsistent transition systems
Path axioms	Nested proof theory for quasi-transitive modal logics
permission	An Aretaic Approach to Deontic Logic
Pi2-Rules	Unification with Simple Variable Restrictions and Admissibility of Pi2-Rules
plausibility model	Simplicial Belief
Polarity-based semantics	Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
Polyhedral semantics	Logics of polyhedral reachability
pomset with interfaces	Presenting interval pomsets with interfaces
positive fragment	On the system of positive slices in the structure of superintuitionistic predicate logics
positive modal logic	Positive modal logic over finite MV-chains A tree rewriting system for the Reflection Calculus
positive MV-algebras	Positive modal logic over finite MV-chains
possibility	Modal logic, fundamentally
predicate modal logic	Fusions of canonical predicate modal logics are canonical
preference models	LEGO-like Small Model Constructions for Åqvist’s Logics
presupposition	Informative Presupposition in Inquisitive Logic
Pretabular Varieties	Tabular and pretabular varieties of MTL-algebras
Priestley spaces	Frames and spaces for distributive quasi relation algebras and involutive FL-algebras
probabilistic primitives	First-order Probabilistic Logic with Sequence Variables and Unranked Symbols
Product modal logic	The complexity of reasoning about classifiers
product of modal logics	Products of Horn Modal Logics
program equivalence	Pushing the Limits of Kleene Algebra
prohibition	An Aretaic Approach to Deontic Logic
Projectivity	Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
Proof theory	On the Proof Theory of Apodictic Syllogistic Point-Set Neighborhood Logic Natural Deduction, Normalization and Subformula Property for Kreisel-Putnam Logic Nested proof theory for quasi-transitive modal logics
propositional modal logic	The Interpolant Existence Problem for Weak K4 and Difference Logic
Propositional quantifier	Some General Completeness Results for Propositionally Quantified Modal Logics
provability logic	A tree rewriting system for the Reflection Calculus Strong Kripke completeness of the closed fragment of GLP
Q
qualitative calculi	Relation-Algebraic Approach to Qualitative Calculi
quantale enriched category	Canonical Extensions of Fuzzy Algebras
Quantales	Canonical Extensions of Fuzzy Algebras Monotone Ω-sup-fuzzy relations: converse and complementation
quantum clause	Birkhoff style proof systems for hybrid-dynamic quantum logic
Quasi relation algebras	Frames and spaces for distributive quasi relation algebras and involutive FL-algebras
R
Reachability	Logics of polyhedral reachability
Relation algebra	Undecidability of the positive calculus of relations with transitive closure and difference: hypothesis elimination using graph loops Data migration under a changing schema in ampersand Cyclic group spectra for some small relation algebras
Relational Semantics	Goldblatt-Thomason Theorems for Fundamental (Modal) Logic
representation	Modal logic, fundamentally
representations	Frames and spaces for distributive quasi relation algebras and involutive FL-algebras
Residuated Lattice	Towards an Algebraic Theory of KD45-like Logics
resolution	Efficient Theorem-Proving for Modal Logics
rewrite systems	A tree rewriting system for the Reflection Calculus
S
S4	The exact correspondence between intuitionistic and modal logic
Sahlqvist formula	Some General Completeness Results for Propositionally Quantified Modal Logics
Schema change	Data migration under a changing schema in ampersand
semantics of modal logic	Modal Models in the Premodal Language
semiorers
Semiring	Lovász Theorems for Modal Languages
sequence variables	First-order Probabilistic Logic with Sequence Variables and Unranked Symbols
Sequent calculus	Intuitionistic Master Modality
simplicial complex	Bisimulation for Impure Simplicial Complexes Simplicial Belief
Simulations	Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
small model property	LEGO-like Small Model Constructions for Åqvist’s Logics
Social epistemology	Epistemic Positions: Towards a Formal Theory of Epistemic Injustice
space	Relation-Algebraic Approach to Qualitative Calculi
Spatial logics	Logics of polyhedral reachability
spectrum	Cyclic group spectra for some small relation algebras
Star-autonomous category	Lifting star-autonomy
stone duality	Modal Models in the Premodal Language
strict implication	A First-order Modal Logic of Strict Implication on Varying-Domain Models
strict-tolerant logic	A modal logic for reasoning in contexts
strong completeness	Strong Kripke completeness of the closed fragment of GLP
strong Kripke completeness	Fusions of canonical predicate modal logics are canonical
structural proof theory	Deducibility in the full Lambek calculus with weakening is HAck-complete
Subformula property	Natural Deduction, Normalization and Subformula Property for Kreisel-Putnam Logic
substitution	Substitution as Modality
Substructural Logic	Towards an Algebraic Theory of KD45-like Logics
substructural logics	Deducibility in the full Lambek calculus with weakening is HAck-complete
Sup-preserving endomorphisms.	Monotone Ω-sup-fuzzy relations: converse and complementation
superintuitionistic predicate logic	On the system of positive slices in the structure of superintuitionistic predicate logics
system of slices	On the system of positive slices in the structure of superintuitionistic predicate logics
T
Tabular Varieties	Tabular and pretabular varieties of MTL-algebras
tba	Decomposition of Finite-Valued Transducers
three-valued logic	Bisimulation for Impure Simplicial Complexes
time	Relation-Algebraic Approach to Qualitative Calculi
topological semantics	The Goldblatt-Thomason theorem for derivative spaces Strong Kripke completeness of the closed fragment of GLP Knowability As Continuity: The Modal Logic of Continuous and Uniform Dependence Modal Logics in Dynamical Systems
Total category	Lifting star-autonomy
truncation modality	Informative Presupposition in Inquisitive Logic
U
Ultrafilter extensions	The Goldblatt-Thomason theorem for derivative spaces
Unification	Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic Unification with Simple Variable Restrictions and Admissibility of Pi2-Rules
Uniform Interpolation	Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic Point-Set Neighborhood Logic
Unranked symbols	First-order Probabilistic Logic with Sequence Variables and Unranked Symbols
update	Towards Dynamic Distributed Knowledge
V
validity	A modal logic for reasoning in contexts
van Benthem characterization theorem	Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
varying-domain semantics	A First-order Modal Logic of Strict Implication on Varying-Domain Models
virtue ethics	An Aretaic Approach to Deontic Logic
W
weak pseudocomplementation	Modal logic, fundamentally
weakening	Deducibility in the full Lambek calculus with weakening is HAck-complete
well quasi orders	Deducibility in the full Lambek calculus with weakening is HAck-complete
While-program	Undecidability of the positive calculus of relations with transitive closure and difference: hypothesis elimination using graph loops
Wittgenstein sentences	A modal logic for reasoning in contexts
WNM-algebras	Tabular and pretabular varieties of MTL-algebras
worms	Strong Kripke completeness of the closed fragment of GLP
Z
Zero downtime	Data migration under a changing schema in ampersand

Disclaimer | Powered by EasyChair Smart Program