Projective Beth properties in modal and superintuitionistic logics

被引：0

作者：

Maksimova L.L. ^{[1
]}

机构：

来源：

Algebra and Logic | 1999年 / 38卷 / 3期

关键词：

Modal Logic; Modal Algebra; Normal Extension; Amalgamation Property; Irreducible Algebra;

D O I：

10.1007/BF02671741

中图分类号：

学科分类号：

摘要：

Protective Beth properties in superintuitionistic and normal modal logics are considered. Their interrelations and connections with interpolation properties of the logics are established. Algebraic counterparts for the projective Beth properties are found out. © 1999 Kluwer Academic/Plenum Publishers.

引用

页码：171 / 180

页数：9

共 50 条

[1] Superintuitionistic logics and the projective Beth property
Maksimova L.L.
[J]. Algebra and Logic, 1999, 38 (6) : 374 - 382
[2] On the Beth properties of some intuitionistic modal logics
Luppi, C
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2002, 41 (05) : 443 - 454
[3] On the Beth properties of some intuitionistic modal logics
C. Luppi
[J]. Archive for Mathematical Logic, 2002, 41 : 443 - 454
[4] Superintuitionistic Companions of Classical Modal Logics
Wolter F.
[J]. Studia Logica, 1997, 58 (2) : 229 - 259
[5] Duality in superintuitionistic and modal predicate logics
Shirasu, H
[J]. ADVANCES IN MODAL LOGIC, VOL 1, 1998, (87): : 223 - 236
[6] Interpolation in superintuitionistic and modal predicate logics with equality
Maksimova, L
[J]. ADVANCES IN MODAL LOGIC, VOL 1, 1998, (87): : 133 - 140
[7] Problem of restricted interpolation in superintuitionistic and some modal logics
Maksimova, Larisa
[J]. LOGIC JOURNAL OF THE IGPL, 2010, 18 (03) : 367 - 380
[8] On the simple substitution property for superintuitionistic and modal propositional logics
Khomich, V. I.
[J]. DOKLADY MATHEMATICS, 2008, 78 (03) : 923 - 924
[9] On the simple substitution property for superintuitionistic and modal propositional logics
V. I. Khomich
[J]. Doklady Mathematics, 2008, 78 : 923 - 924
[10] Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
Rybakov, Mikhail
Shkatov, Dmitry
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2024,

← 1 2 3 4 5 →