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 条
  • [31] Modal logics and group polarization
    Pedersen, Mina Young
    Smets, Sonja
    Agotnes, Thomas
    JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (08) : 2240 - 2269
  • [32] THE STRENGTHS AND WEAKNESSES OF MODAL LOGICS
    Czakon, Marcin
    FILOZOFIA NAUKI, 2020, 28 (01): : 125 - 132
  • [33] Functional translation and second-order frame properties of modal logics
    Ohlbach, HJ
    Schmidt, RA
    JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (05) : 581 - 603
  • [34] Exemplaric Expressivity of Modal Logics
    Jacobs, Bart
    Sokolova, Ana
    JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (05) : 1041 - 1068
  • [35] Admissible rules of modal logics
    Jerábek, E
    JOURNAL OF LOGIC AND COMPUTATION, 2005, 15 (04) : 411 - 431
  • [36] Term-Modal Logics
    Fitting M.
    Thalmann L.
    Voronkov A.
    Studia Logica, 2001, 69 (1) : 133 - 169
  • [37] Decidable Elementary Modal Logics
    Michaliszyn, Jakub
    Otop, Jan
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 491 - 500
  • [38] A Solver for Modal Fixpoint Logics
    Friedmann, Oliver
    Lange, Martin
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 262 : 99 - 111
  • [39] An institution of modal logics for coalgebras
    Cîrstea, C
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2006, 67 (1-2): : 87 - 113
  • [40] On the Decidability of Elementary Modal Logics
    Michaliszyn, Jakub
    Otop, Jan
    Kieron, Emanuel
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 17 (01)
12345