Modal information logics: axiomatizations and decidability

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

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

completenessdecidabilitymodal logicaxiomatizationmodal information logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

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

Cited In (4)

• Inf-datalog, Modal Logic and Complexities
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)