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 条
  • [41] Effective completeness theorems for modal logic
    Ganguli, S
    Nerode, A
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2004, 128 (1-3) : 141 - 195
  • [42] On the completeness of classical modal display logic
    Gote, R
    [J]. PROOF THEORY OF MODAL LOGIC, 1996, 2 : 137 - 140
  • [43] A Modal Logic for Uncertainty: a Completeness Theorem
    Corsi, Esther Anna
    Flaminio, Tommaso
    Godo, Lluis
    Hosni, Hykel
    [J]. INTERNATIONAL SYMPOSIUM ON IMPRECISE PROBABILITY: THEORIES AND APPLICATIONS, VOL 215, 2023, 215 : 119 - 129
  • [44] Arithmetical Completeness Theorem for Modal Logic
    Kurahashi, Taishi
    [J]. STUDIA LOGICA, 2018, 106 (02) : 219 - 235
  • [45] Algorithmic Definability and Completeness in Modal Logic
    Vakarelov, Dimiter
    [J]. FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, 2010, 5956 : 6 - 8
  • [46] Context Logic as Modal Logic: Completeness and Parametric Inexpressivity
    Calcagno, Cristiano
    Gardner, Philippa
    Zarfaty, Uri
    [J]. CONFERENCE RECORD OF POPL 2007: THE 34TH ACM SIGPLAN SIGACT SYMPOSIUM ON PRINCIPLES OF PROGAMMING LANGUAGES, 2007, : 123 - 134
  • [47] Context Logic as Modal Logic: Completeness and parametric inexpressivity
    Calcagno, Cristiano
    Gardner, Philippa
    Zarfaty, Uri
    [J]. ACM SIGPLAN NOTICES, 2007, 42 (01) : 123 - 134
  • [48] COMPLETENESS OF INTUITIONISTIC LOGIC WITH RESPECT TO MODELS WITH COVERING
    FABIANO, A
    [J]. BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1983, 2A (01): : 21 - 28
  • [49] Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4
    Sticht, Martin
    [J]. FUNDAMENTA INFORMATICAE, 2018, 161 (1-2) : 191 - 218
  • [50] Modal systems for covering semantics and boundary operator
    Patel, Vineeta Singh
    Khan, Md Aquil
    Chakraborty, Mihir Kumar
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2021, 135 : 110 - 126
12345