RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2021 Volume 60, Number 6, Pages 612–635 (Mi al2690)

This article is cited in 3 papers

Modal bilattice logic and its extensions

S. O. Speranski

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow

Abstract: We consider the lattices of extensions of three logics: (1) modal bilattice logic; (2) full Belnap–Dunn bimodal logic; (3) classical bimodal logic. It is proved that these lattices are isomorphic to each other. Furthermore, the isomorphisms constructed preserve various nice properties, such as tabularity, pretabularity, decidability or Craig's interpolation property.

Keywords: many-valued modal logic, strong negation, first-degree entailment, algebraic logic.

UDC: 510.643

Received: 01.09.2021
Revised: 08.04.2022

DOI: 10.33048/alglog.2021.60.607


 English version:
Algebra and Logic, 2022, 60:6, 407–424

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025