BINARY CONNECTIVES FUNCTIONALLY COMPLETE BY THEMSELVES IN S5 MODAL LOGIC

被引：1
|
作者：
MASSEY, GJ
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1967年 / 32卷 / 01期
关键词：
D O I：
10.2307/2271247
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：91 / &
相关论文
共 50 条
  • [11] Modal Logic S5 Satisfiability in Answer Set Programming
    Alviano, Mario
    Batsakis, Sotiris
    Baryannis, George
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2021, 21 (05) : 527 - 542
  • [12] LOGICAL CONSEQUENCE IN MODAL LOGIC - NATURAL DEDUCTION IN S5
    CORCORAN, J
    WEAVER, G
    JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (04) : 639 - &
  • [13] Characterization of maximal consistent theories in modal logic S5
    Li, Bi-Jing
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2014, 42 (08): : 1551 - 1555
  • [14] Visualizing Polymorphisms and Counter-Polymorphisms in S5 Modal Logic
    Falcao, Pedro
    DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2022, 2022, 13462 : 296 - 311
  • [15] 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
  • [16] Gentzen-type sequent calculus for modal logic S5
    Alonderis, R.
    Giedra, H.
    LOGIC JOURNAL OF THE IGPL, 2025,
  • [17] Destructive Extension Rule in Propositional Modal Logic S5 System
    Ma, Li Zheng
    Tan, Xi
    Huang, Pei
    Bai, Li
    Wu, Zi Yan
    MANUFACTURING, DESIGN SCIENCE AND INFORMATION ENGINEERING, VOLS I AND II, 2015, : 1249 - 1255
  • [18] A Henkin-Style Completeness Proof for the Modal Logic S5
    Bentzen, Bruno
    LOGIC AND ARGUMENTATION, CLAR 2021, 2021, 13040 : 459 - 467
  • [19] 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
  • [20] 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
12345