LOGICAL CONSEQUENCE IN MODAL LOGIC - NATURAL DEDUCTION IN S5

被引：0
|
作者：
CORCORAN, J
WEAVER, G
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1968年 / 33卷 / 04期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：639 / &
相关论文
共 50 条
  • [1] Natural Deduction for Full S5 Modal Logic with Weak Normalization
    Martins, Ana Teresa
    Martins, Lilia Ramalho
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 143 : 129 - 140
  • [2] LOGICAL CONSEQUENCE IN MODAL LOGIC
    CORCORAN, J
    WEAVER, G
    JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (03) : 441 - &
  • [3] On Satisfiability Problem in Modal Logic S5
    Salhi, Yakoub
    PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), 2020, : 948 - 955
  • [4] Knowledge Compilation in the Modal Logic S5
    Bienvenu, Meghyn
    Fargier, Helene
    Marquis, Pierre
    PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 261 - 266
  • [5] Classical Natural Deduction for S4 Modal Logic
    Kimura, Daisuke
    Kakutani, Yoshihiko
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5904 : 243 - 258
  • [6] Classical Natural Deduction for S4 Modal Logic
    Daisuke Kimura
    Yoshihiko Kakutani
    New Generation Computing, 2011, 29 : 61 - 86
  • [7] Classical Natural Deduction for S4 Modal Logic
    Kimura, Daisuke
    Kakutani, Yoshihiko
    NEW GENERATION COMPUTING, 2011, 29 (01) : 61 - 86
  • [8] Evidence reconstruction of epistemic modal logic S5
    Rubtsova, Natalia
    COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2006, 3967 : 313 - 321
  • [9] A deep inference system for the modal logic S5
    Stouppa P.
    Studia Logica, 2007, 85 (2) : 199 - 214
  • [10] Rooted Hypersequent Calculus for Modal Logic S5
    Mohammadi, Hamzeh
    Aghaei, Mojtaba
    LOGICA UNIVERSALIS, 2023, 17 (03) : 269 - 295
12345