Belnap-Dunn modal logic with value operators

DOI10.1007/s11225-020-09925-yOpenAlexW3091630784MaRDI QIDQ2243547

Minghui Ma, Yuanlei Lin

Publication date: 11 November 2021

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

Full work available at URL: https://doi.org/10.1007/s11225-020-09925-y

zbMATH Keywords

definabilitysequent systempolarity semanticsBelnap-Dunn modal logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Relational semantics for normal topological quasi-Boolean logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
• Polarity semantics for negation as a modal operator
• Some modal logics based on a three-valued logic
• A note on three-valued modal logic
• Possible worlds and many truth values
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• Local and global operators and many-valued modal logics
• Countably many weakenings of Belnap-Dunn logic
• A deterministic weakening of Belnap-Dunn logic
• Four-valued modal logic: Kripke semantics and duality
• The lattice of Belnapian modal logics: Special extensions and counterparts
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Many-Valued Modal Propositional Calculi
• Belnap's Four-Valued Logic and De Morgan Lattices
• Addendum to the paper 'Belnap's four-valued logic and De Morgan lattices'
• BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES
• Some Modal Logics based on a Three‐valued Logic

This page was built for publication: Belnap-Dunn modal logic with value operators