Kripke Semantics for Modal Bilattice Logic
From MaRDI portal
Publication:5271081
DOI10.1109/LICS.2013.50zbMath1366.03187OpenAlexW4251538115MaRDI QIDQ5271081
Publication date: 3 July 2017
Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/lics.2013.50
Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50)
Related Items (17)
Modal bilattice logic and its extensions ⋮ Epistemic Updates on Bilattices ⋮ A duality for two-sorted lattices ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Disentangling \textsf{FDE}-based paraconsistent modal logics ⋮ BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES ⋮ The lattice of Belnapian modal logics: Special extensions and counterparts ⋮ Implicative twist-structures ⋮ A four-valued dynamic epistemic logic ⋮ Logical Foundations of Evidential Reasoning with Contradictory Information ⋮ Bilattice logic of epistemic actions and knowledge ⋮ Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators ⋮ A general framework for FDE-based modal logics ⋮ 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
This page was built for publication: Kripke Semantics for Modal Bilattice Logic
