Three-valued logics in modal logic

DOI10.1007/S11225-012-9420-0zbMATH Open1432.03036OpenAlexW2095820479MaRDI QIDQ383567FDOQ383567

Authors: Barteld 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

Recommendations

• A modal theorem-preserving translation of a class of three-valued logics of incomplete information
• Some modal logics based on a three-valued logic
• Translation from three-valued quantum logic to modal logic
• scientific article; zbMATH DE number 1902535
• Cut-free systems for three-valued modal logics

zbMATH Keywords

modal logicexpressivitythree-valued logicconservative translations

Mathematics Subject Classification ID

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

Cites Work

• The logic of paradox
• Tolerant, classical, strict
• Title not available (Why is that?)
• Logic for Equivocators
• On the complexity of entailment in propositional multivalued logics
• Title not available (Why is that?)
• On notation for ordinal numbers
• Conservative translations
• Yes, Virginia, there really are paraconsistent logics
• Title not available (Why is that?)
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Gödel's modal interpretation of the intuitionistic logic
• Boolean negation and all that

Cited In (29)

• Prefixed tableaus for three-valued modal propositional logics
• Respects for contradictions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Realizability of three-valued semantics for abstract dialectical frameworks
• Translation from three-valued quantum logic to modal logic
• The cylindric algebras of three-valued logic
• Foreword: three-valued logics and their applications
• A modal theorem-preserving translation of a class of three-valued logics of incomplete information
• Relationships between Connectives in Three-Valued Logics
• The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property
• Three-valued derived logics for classical phase spaces
• Game theoretical semantics for some non-classical logics
• Wanted dead or alive: epistemic logic for impure simplicial complexes
• Conservative translations of four-valued logics in modal logic
• Natural deduction system for three-valued Heyting's logic
• Title not available (Why is that?)
• From possibility theory to paraconsistency
• Many-valued modalities and paraconsistency
• Title not available (Why is that?)
• Varieties of entailment: introduction to the special issue
• Game theoretical semantics for paraconsistent logics
• Medium logic and Woodruff's three-valued logic
• Some modal logics based on a three-valued logic
• Cut-free systems for three-valued modal logics
• Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism
• Natural deduction for three-valued regular logics
• A Correspondence Between Variable Relations And Three-Valued Propositional Logic
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q383567)