RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive
Algebra Logika, 2004 Volume 43, Number 4, Pages 387–410 (Mi al79)
This article is cited in 8 papers

Definability in Normal Extensions of S4

L. L. Maksimova

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences

Abstract: A projective Beth property, PB2, in normal modal logics extending S4 is studied. A convenient criterion is furnished for PB2 to be valid in a larger family of extensions of K4. All locally tabular extensions of the Grzegorczyk logic with PB2 are described. Superintuitionistic logics with the projective Beth property that have no modal companions with this property are found.

Keywords: modal logic, Grzegorczyk logic, superintuitionistic logic, locally tabular extension, projective Beth property.

UDC: 510.64

Received: 16.04.2003


 English version: Algebra and Logic, 2004, 43:4, 217–229

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024