Studia Logica 100 (1-2):319-338 (2012)

Earlier algebraic semantics for Belnapian modal logics were defined in terms of twist-structures over modal algebras. In this paper we introduce the class of BK -lattices, show that this class coincides with the abstract closure of the class of twist-structures, and it forms a variety. We prove that the lattice of subvarieties of the variety of BK -lattices is dually isomorphic to the lattice of extensions of Belnapian modal logic BK . Finally, we describe invariants determining a twist-structure over a modal algebra
Keywords BK-lattice  twist-structure  lattice of subvarieties  Belnapian modal logic
Categories (categorize this paper)
DOI 10.1007/s11225-012-9380-4
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,568
Through your library

References found in this work BETA

Modal Logic.Alexander Chagrov - 1997 - Oxford University Press.
Constructible Falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
Constructible Falsity and Inexact Predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.

View all 17 references / Add more references

Citations of this work BETA

Dualities for Modal N4-Lattices.R. Jansana & U. Rivieccio - 2014 - Logic Journal of the IGPL 22 (4):608-637.

Add more citations

Similar books and articles

The Lattice of Modal Logics: An Algebraic Investigation.W. J. Blok - 1980 - Journal of Symbolic Logic 45 (2):221-236.
On the Representation of N4-Lattices.Sergei P. Odintsov - 2004 - Studia Logica 76 (3):385 - 405.
Free Modal Lattices Via Priestley Duality.Claudia B. Wegener - 2002 - Studia Logica 70 (3):339 - 352.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.


Added to PP index

Total views
27 ( #376,463 of 2,385,661 )

Recent downloads (6 months)
1 ( #560,301 of 2,385,661 )

How can I increase my downloads?


My notes