Conservative translations of four-valued logics in modal logic

DOI10.1007/s11229-019-02139-3zbMath1525.03070OpenAlexW2916975505MaRDI QIDQ6067103

Ekaterina Kubyshkina

Publication date: 14 December 2023

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-019-02139-3

zbMATH Keywords

modal logicfour-valued logicconservative translationlogic of rational agentgeneralized truth-values method

Mathematics Subject Classification ID

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

Related Items (1)

Conservative translations revisited

Cites Work

• Unnamed Item
• Unnamed Item
• Three-valued logics in modal logic
• Tolerant, classical, strict
• Truth and falsehood. An inquiry into generalized logical values
• Some useful 16-valued logics: How a computer network should think
• Hyper-contradictions, generalized truth values and logics of truth and falsehood
• Intuitive semantics for first-degree entailments and `coupled trees'
• The logic of generalized truth values and the logic of bilattices
• The Trilattice of Constructive Truth Values
• Rational agency from a truth-functional perspective

This page was built for publication: Conservative translations of four-valued logics in modal logic