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 条
  • [41] LOGICAL VALIDITY IN MODAL LOGIC
    POLLOCK, JL
    MONIST, 1967, 51 (01): : 128 - 135
  • [42] On fuzzy modal logics S5(C)
    Hajek, Petr
    FUZZY SETS AND SYSTEMS, 2010, 161 (18) : 2389 - 2396
  • [43] Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5
    Huang, Pei
    Li, Rundong
    Liu, Minghao
    Ma, Feifei
    Zhang, Jian
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, 2021, 12831 : 225 - 241
  • [44] PRIORS TENSE-LOGICAL ANALOG OF S5
    MORRIS, WE
    JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (02) : 446 - &
  • [45] Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic
    Martín Figallo
    Studia Logica, 2021, 109 : 1347 - 1373
  • [46] Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic
    Figallo, Martin
    STUDIA LOGICA, 2021, 109 (06) : 1347 - 1373
  • [47] Logical consequence: conjunctive models and modal aspects
    Barrio, Eduardo Alejandro
    REVISTA DE FILOSOFIA-MADRID, 2006, 31 (02): : 203 - 220
  • [48] Natural Deduction for Quantum Logic
    K. Tokuo
    Logica Universalis, 2022, 16 : 469 - 497
  • [49] AN ALGEBRAIC STUDY OF THE LOGIC S5'(BL)
    Wang, Juntao
    He, Xiaoli
    Wang, Mei
    MATHEMATICA SLOVACA, 2022, 72 (06) : 1447 - 1462
  • [50] Natural deduction for hybrid logic
    Braüner, T
    JOURNAL OF LOGIC AND COMPUTATION, 2004, 14 (03) : 229 - 353
12345