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 条
  • [21] Modal logics, description logics and arithmetic reasoning
    Ohlbach, HJ
    Koehler, J
    ARTIFICIAL INTELLIGENCE, 1999, 109 (1-2) : 1 - 31
  • [22] Connected modal logics
    Bezhanishvili, Guram
    Gabelaia, David
    ARCHIVE FOR MATHEMATICAL LOGIC, 2011, 50 (3-4) : 287 - 317
  • [23] Using modal logics to express and check global graph properties
    Benevides, Mario R. F.
    Schechter, L. Menasche
    LOGIC JOURNAL OF THE IGPL, 2009, 17 (05) : 509 - 537
  • [24] Modal dependence logics: axiomatizations and model-theoretic properties
    Yang, Fan
    LOGIC JOURNAL OF THE IGPL, 2017, 25 (05) : 773 - 805
  • [25] The relation between intuitionistic and classical modal logics
    Wolter F.
    Zakharyaschev M.
    Algebra and Logic, 1997, 36 (2) : 73 - 92
  • [26] On Modal Logics of Model-Theoretic Relations
    Denis I. Saveliev
    Ilya B. Shapirovsky
    Studia Logica, 2020, 108 : 989 - 1017
  • [27] On Modal Logics of Model-Theoretic Relations
    Saveliev, Denis, I
    Shapirovsky, Ilya B.
    STUDIA LOGICA, 2020, 108 (05) : 989 - 1017
  • [28] The complexity of regularity in grammar logics and related modal logics
    Demri, S
    JOURNAL OF LOGIC AND COMPUTATION, 2001, 11 (06) : 933 - 960
  • [29] MODAL LOGICS OF TOPOLOGICAL RELATIONS
    Lutz, Carsten
    Wolter, Frank
    LOGICAL METHODS IN COMPUTER SCIENCE, 2006, 2 (02)
  • [30] On the succinctness of some modal logics
    French, Tim
    van der Hoek, Wiebe
    Iliev, Petar
    Kooi, Barteld
    ARTIFICIAL INTELLIGENCE, 2013, 197 : 56 - 85
12345