Covering semantics of modal logic S4 and its completeness

被引：0
|
作者：
Yu, Hai [1 ]
Zhan, Wan-Rong [1 ]
Zhang, Rui-Ling [2 ]
机构：
[1] Academy of Mathematics and Science, Luoyang Normal College, Luoyang, Henan 471022, China
[2] Academy of Information Technology, Luoyang Normal College, Luoyang, Henan 471022, China
来源：
Tien Tzu Hsueh Pao/Acta Electronica Sinica | 2012年 / 40卷 / 04期
关键词：
D O I：
10.3969/j.issn.0372-2112.2012.04.020
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：745 / 750
相关论文
共 50 条
  • [1] FORMULAS IN MODAL LOGIC S4
    Sasaki, Katsumi
    [J]. REVIEW OF SYMBOLIC LOGIC, 2010, 3 (04): : 600 - 627
  • [2] Classification of extensions of the modal logic S4
    Maksimova, L. L.
    [J]. SIBERIAN MATHEMATICAL JOURNAL, 2013, 54 (06) : 1064 - 1075
  • [3] Path calculus in the modal logic S4
    Norgėla S.
    [J]. Lithuanian Mathematical Journal, 2005, 45 (1) : 94 - 101
  • [4] Classification of extensions of the modal logic S4
    L. L. Maksimova
    [J]. Siberian Mathematical Journal, 2013, 54 : 1064 - 1075
  • [5] ON COMBINING INTUITIONISTIC AND S4 MODAL LOGIC
    Rasga, Joao
    Sernadas, Cristina
    [J]. BULLETIN OF THE SECTION OF LOGIC, 2024,
  • [6] Transverse Semantics: Simplifying Completeness for Weak Modal Logic
    Nicholson, DX
    [J]. ICAI '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, 2005, : 944 - 947
  • [7] Restricted interpolation over modal logic S4
    L. L. Maksimova
    [J]. Algebra and Logic, 2013, 52 : 308 - 335
  • [8] Restricted interpolation over modal logic S4
    Maksimova, L. L.
    [J]. ALGEBRA AND LOGIC, 2013, 52 (04) : 308 - 335
  • [9] Classical Natural Deduction for S4 Modal Logic
    Daisuke Kimura
    Yoshihiko Kakutani
    [J]. New Generation Computing, 2011, 29 : 61 - 86
  • [10] Classical Natural Deduction for S4 Modal Logic
    Kimura, Daisuke
    Kakutani, Yoshihiko
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5904 : 243 - 258
12345