Modal information logics: axiomatizations and decidability
From MaRDI portal
Cites work
- Axioms for tense logic. I: 'Since' and 'until'
- Between order and chaos: The quest for meaningful information
- Constructive agents
- 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?)
- 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
(8)- Inf-datalog, Modal Logic and Complexities
- scientific article; zbMATH DE number 3918335 (Why is no real title available?)
- scientific article; zbMATH DE number 1936763 (Why is no real title available?)
- scientific article; zbMATH DE number 6131418 (Why is no real title available?)
- Logics of truthmaker semantics: comparison, compactness and decidability
- Axiomatization and decidability of tense information logic
- Relational patterns, partiality, and set lifting in modal semantics
- Modal logics over lattices
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)
