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 条
  • [41] Restricted classical modal logics
    Mortari, Cezar A.
    LOGIC JOURNAL OF THE IGPL, 2007, 15 (5-6) : 741 - 757
  • [42] Modal Logics of Stone Spaces
    Guram Bezhanishvili
    John Harding
    Order, 2012, 29 : 271 - 292
  • [43] On the products of linear modal logics
    Reynolds, M
    Zakharyaschev, M
    JOURNAL OF LOGIC AND COMPUTATION, 2001, 11 (06) : 909 - 931
  • [44] Modal Logics of Stone Spaces
    Bezhanishvili, Guram
    Harding, John
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2012, 29 (02): : 271 - 292
  • [45] Modal logics of sabotage revisited
    Aucher, Guillaume
    van Benthem, Johan
    Grossi, Davide
    JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (02) : 269 - 303
  • [46] Modal logics for incidence geometries
    Balbiani, P
    DelCerro, LF
    Tinchev, T
    Vakarelov, D
    JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (01) : 59 - 78
  • [47] Lower bounds for modal logics
    Hrubes, Pavel
    JOURNAL OF SYMBOLIC LOGIC, 2007, 72 (03) : 941 - 958
  • [48] Products of modal logics and tensor products of modal algebras
    Gabbay, Dov
    Shapirovsky, Ilya
    Shehtman, Valentin
    JOURNAL OF APPLIED LOGIC, 2014, 12 (04) : 570 - 583
  • [49] Computing with cylindric modal logics and arrow logics, lower bounds
    Marx M.
    Studia Logica, 2002, 72 (2) : 233 - 252
  • [50] On Modal Logics Defining Jaskowski-Like Discussive Logics
    Nasieniewski, Marek
    Pietruszczak, Andrzej
    NEW DIRECTIONS IN PARACONSISTENT LOGIC, 2015, 152 : 213 - 228
12345