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 条
  • [31] Finite Topological Models of Modal Logic Systems S4 and S5
    Li, Cao-lin
    Xu, Luo-shan
    QUANTITATIVE LOGIC AND SOFT COMPUTING 2010, VOL 2, 2010, 82 : 311 - 319
  • [32] Improved Destructive Extension Rule in Propositional Modal Logic S5 System
    Huang, Pei
    Yang, YuTing
    Tan, Xi
    Gao, Yuan
    2015 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING APPLICATIONS (CSEA 2015), 2015, : 38 - 42
  • [33] A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
    Poggiolesi, Francesca
    REVIEW OF SYMBOLIC LOGIC, 2008, 1 (01): : 3 - 15
  • [34] Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring
    Huang, Pei
    Liu, Minghao
    Wang, Ping
    Zhang, Wenhui
    Ma, Feifei
    Zhang, Jian
    PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2019, : 1093 - 1100
  • [35] Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds
    Alviano, Mario
    Batsakis, Sotiris
    Baryannis, George
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2022, 2022, 13416 : 16 - 28
  • [36] On Modal μ-Calculus in S5 and Applications
    D'Agostino, Giovanna
    Lenzi, Giacomo
    FUNDAMENTA INFORMATICAE, 2013, 124 (04) : 465 - 482
  • [37] Modal Combinatorialism is Consistent with S5
    Taylor, Henry
    THOUGHT-A JOURNAL OF PHILOSOPHY, 2019, 8 (01): : 23 - 32
  • [38] CUT-FREE GENTZEN-TYPE SYSTEM FOR THE MODAL LOGIC S5
    SATO, M
    JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (01) : 67 - 84
  • [39] On modal logics between K x K x K and S5 x S5 x S5
    Hirsch, R
    Hodkinson, I
    Kurucz, A
    JOURNAL OF SYMBOLIC LOGIC, 2002, 67 (01) : 221 - 234
  • [40] A SIMPLE DEDUCTION METHOD FOR MODAL LOGIC
    DELCERRO, LF
    INFORMATION PROCESSING LETTERS, 1982, 14 (02) : 49 - 51
12345