Modal information logics: axiomatizations and decidability

DOI10.1007/S10992-023-09724-5MaRDI QIDQ6145035zbMATH OpenOpenAlexFDO

Authors Søren Brinck Knudstorp

Publication date 8 January 2024

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

completenessdecidabilitymodal logicaxiomatizationmodal information logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• scientific article; zbMATH DE number 1222488 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 218496 (Why is no real title available?)
• Axioms for tense logic. I: 'Since' and 'until'
• Between order and chaos: The quest for meaningful information
• Constructive agents
• Implicit and explicit stances in logic
• Modal logic
• Nonassociative Lambek Calculus with Additives and Context-Free Languages
• Propositional logics of dependence
• Propositional team logics
• Relational semantics of the Lambek calculus extended with classical propositional logic
• Semantics for relevant logics
• Tense logics over lattices
• The Mathematics of Sentence Structure

Cited in

(4)

• Inf-datalog, Modal Logic and Complexities
• scientific article; zbMATH DE number 1936763 (Why is no real title available?)
• scientific article; zbMATH DE number 3918335 (Why is no real title available?)
• scientific article; zbMATH DE number 6131418 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6145035)