Definability in Normal Extensions of S4 |
| |
Authors: | L L Maksimova |
| |
Institution: | (1) Akademika Koptyuga, Institute of Mathematics SB RAS, Prospekt, 4, Novosibirsk, 630090, Russia |
| |
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 |
本文献已被 SpringerLink 等数据库收录! |
|