Four-valued modal logic: Kripke semantics and duality

DOI10.1093/logcom/exv038zbMath1444.03073OpenAlexW2276796001MaRDI QIDQ2987046

Achim Jung, Umberto Rivieccio, Ramon Jansana

Publication date: 17 May 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://research.birmingham.ac.uk/portal/en/publications/fourvalued-modal-logic-kripke-semantics-and-duality(2d16f5f2-33cf-41fd-a790-4a5cbe6c2ac5).html

zbMATH Keywords

bilatticesBelnap logicmany-valued modal logicparaconsistent Nelson logic

Mathematics Subject Classification ID

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

Related Items (20)

Modal bilattice logic and its extensions ⋮ Wanted dead or alive: epistemic logic for impure simplicial complexes ⋮ A duality for two-sorted lattices ⋮ Compositional meaning in logic ⋮ Modal multilattice logic ⋮ 40 years of FDE: an introductory overview ⋮ Disentangling \textsf{FDE}-based paraconsistent modal logics ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ Bilattice logic of epistemic actions and knowledge ⋮ Belnap-Dunn modal logic with value operators ⋮ Modal extension of ideal paraconsistent four-valued logic and its subsystem ⋮ A general framework for FDE-based modal logics ⋮ A Tableau System for Quasi-Hybrid Logic ⋮ On Definability of Connectives and Modal Logics over FDE ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS ⋮ Neighbourhood semantics for FDE-based modal logics ⋮ Cut-free sequent calculus and natural deduction for the tetravalent modal logic ⋮ Bilattice logic properly displayed ⋮ Connexive Variants of Modal Logics Over FDE

This page was built for publication: Four-valued modal logic: Kripke semantics and duality