How true it is = who says it's true

DOI10.1007/s11225-009-9178-1zbMath1173.03012OpenAlexW2049804170MaRDI QIDQ1015490

Melvin Fitting

Publication date: 8 May 2009

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

Full work available at URL: https://doi.org/10.1007/s11225-009-9178-1

zbMATH Keywords

modal logicBoolean algebrabisimulationmany-valued logictableautruth valuelogic of knowledge

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tableaus for many-valued modal logic
• Notions of Bisimulation for Heyting-Valued Modal Languages
• A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes
• Bilattices and Modal Operators
• Many-valued reflexive autoepistemic logic

This page was built for publication: How true it is = who says it's true