Autoreferential semantics for many-valued modal logics

DOI10.3166/JANCL.18.79-125MaRDI QIDQ3647288zbMATH OpenFDO

Authors Zoran Majkić

Publication date 30 November 2009

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/JANCL.18.79-125

zbMATH Keywords

paraconsistencymany-valued logicmodal logicKripke-style semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Paraconsistent logics (03B53) Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 35414
• Relational Methods in Computer Science
• Many-valued modal logics: a simple approach
• Many-valued reflexive autoepistemic logic
• scientific article; zbMATH DE number 4029509

Cites work

• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 2042611 (Why is no real title available?)
• A topological representation theory for lattices
• Bilattices and the semantics of logic programming
• Note on a property of matrices for Lewis and Langford's calculi of propositions
• On the complexity of entailment in propositional multivalued logics
• On the theory of inconsistent formal systems
• Paraconsistent logic programming
• Positive modal logic
• Semantic analysis of orthologic
• Some theorems about the sentential calculi of Lewis and Heyting
• Towards automating duality
• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen

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)