Modal information logics: axiomatizations and decidability

DOI10.1007/S10992-023-09724-5OpenAlexW4388294667MaRDI QIDQ6145035

Søren Brinck Knudstorp

Publication date: 8 January 2024

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-023-09724-5

zbMATH Keywords

modal logiccompletenessdecidabilityaxiomatizationmodal information logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Propositional logics of dependence
• Relational semantics of the Lambek calculus extended with classical propositional logic
• Propositional team logics
• Between order and chaos: The quest for meaningful information
• Axioms for tense logic. I: 'Since' and 'until'
• Constructive agents
• Implicit and explicit stances in logic
• The Mathematics of Sentence Structure
• Nonassociative Lambek Calculus with Additives and Context-Free Languages
• Semantics for relevant logics
• Tense logics over lattices

This page was built for publication: Modal information logics: axiomatizations and decidability