ON SOME EXTENSIONS OF S4

被引：0
|
作者：
SEGERBERG, K
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1970年 / 35卷 / 02期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：363 / +
页数：1
相关论文
共 50 条
  • [21] Intuitionistic S4 is decidable
    Girlando, Marianna
    Kuznets, Roman
    Marin, Sonia
    Morales, Marianela
    Strassburger, Lutz
    2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
  • [22] 浅析S4群
    杜坚
    承德师专学报(综合版), 1991, (03) : 13 - 16
  • [23] Refutations and proofs in S4
    Skura, T
    PROOF THEORY OF MODAL LOGIC, 1996, 2 : 45 - 51
  • [24] Finite symmetries of S4
    Chen, Weimin
    Kwasik, Slawomir
    Schultz, Reinhard
    FORUM MATHEMATICUM, 2016, 28 (02) : 295 - 310
  • [25] 瑞风S4
    汽车观察, 2019, (09) : 112 - 112
  • [26] S4 prescribing for podiatrists
    Stephen Marty
    Journal of Foot and Ankle Research, 4 (Suppl 1)
  • [27] EXOTIC INVOLUTION OF S4
    AKBULUT, S
    KIRBY, R
    TOPOLOGY, 1979, 18 (01) : 75 - 81
  • [28] Valuation Semantics for S4
    Loparic, Andrea M.
    Mortari, Cezar A.
    STUDIA LOGICA, 2024,
  • [29] GENESIS OF S4 GALLOP
    KLEIN, HO
    NEW ENGLAND JOURNAL OF MEDICINE, 1971, 284 (15): : 852 - &
  • [30] BIHARMONIC SURFACES OF S4
    Balmus, Adina
    Oniciuc, Cezar
    KYUSHU JOURNAL OF MATHEMATICS, 2009, 63 (02) : 339 - 345
12345