Autoreferential semantics for many-valued modal logics
From MaRDI portal
Publication:3647288
DOI10.3166/JANCL.18.79-125zbMATH Open1187.03019MaRDI QIDQ3647288
Publication date: 30 November 2009
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Paraconsistent logics (03B53) Other algebras related to logic (03G25)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Paraconsistent logic programming
- A topological representation theory for lattices
- On the theory of inconsistent formal systems
- Note on a property of matrices for Lewis and Langford's calculi of propositions
- On the complexity of entailment in propositional multivalued logics
- Positive modal logic
- Some theorems about the sentential calculi of Lewis and Heyting
- Bilattices and the semantics of logic programming
- Semantic analysis of orthologic
- Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
- Towards automating duality
This page was built for publication: Autoreferential semantics for many-valued modal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3647288)
