Three-valued logics in modal logic

DOI10.1007/S11225-012-9420-0zbMath1432.03036OpenAlexW2095820479MaRDI QIDQ383567

Barteld P. Kooi, Allard M. Tamminga

Publication date: 5 December 2013

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9420-0

zbMATH Keywords

modal logicthree-valued logicexpressivityconservative translations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Related Items (11)

Game Theoretical Semantics for Paraconsistent Logics ⋮ Wanted dead or alive: epistemic logic for impure simplicial complexes ⋮ A modal theorem-preserving translation of a class of three-valued logics of incomplete information ⋮ Foreword: Three-valued logics and their applications ⋮ Game theoretical semantics for some non-classical logics ⋮ Conservative translations of four-valued logics in modal logic ⋮ Varieties of entailment: introduction to the special issue ⋮ Respects for Contradictions ⋮ Translation from three-valued quantum logic to modal logic ⋮ Many-valued modalities and paraconsistency ⋮ Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tolerant, classical, strict
• Boolean negation and all that
• The logic of paradox
• On the complexity of entailment in propositional multivalued logics
• Yes, Virginia, there really are paraconsistent logics
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• Logic for Equivocators
• On notation for ordinal numbers
• Conservative translations

This page was built for publication: Three-valued logics in modal logic