Abstract
This paper examines truth diagrams for some non-classical, modal and dynamic logics. Truth diagrams are diagrammatic and visual ways to represent logical truth akin to truth tables, developed by Peter C.-H. Cheng. Currently, it is only given for classical propositional logic. In this paper, we establish truth diagrams for Priest's Logic of Paradox, Belnap–Dunn's Four-Valued Logic, MacColl's Connexive Logic, Bochvar–Halldén's Logic of Non-Sense, Carnielli–Coniglio's logic of formal inconsistency as well as classical modal logic and its dynamic extension to shed light on the semantic behaviour of some non-classical and modal logics.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.