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 条

[21] Two decidable classes of formulas of the modal logic S5
Norgela S.
Lithuanian Mathematical Journal, 2000, 40 (3) : 269 - 276
[22] 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
[23] Characterization of maximal consistent theories in modal logic S5
Li, Bi-Jing
Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2014, 42 (08): : 1551 - 1555
[24] NATURAL DEDUCTION MODAL LOGIC IN STYLE OF KALISH AND MONTAGUE
MERRILL, GH
JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (02) : 553 - 554
[25] Visualizing Polymorphisms and Counter-Polymorphisms in S5 Modal Logic
Falcao, Pedro
DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2022, 2022, 13462 : 296 - 311
[26] Gentzen-type sequent calculus for modal logic S5
Alonderis, R.
Giedra, H.
LOGIC JOURNAL OF THE IGPL, 2025,
[27] 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
[28] BINARY CONNECTIVES FUNCTIONALLY COMPLETE BY THEMSELVES IN S5 MODAL LOGIC
MASSEY, GJ
JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (01) : 91 - &
[29] A Henkin-Style Completeness Proof for the Modal Logic S5
Bentzen, Bruno
LOGIC AND ARGUMENTATION, CLAR 2021, 2021, 13040 : 459 - 467
[30] Propositional quantifiers in labelled natural deduction for normal modal logic
Pascucci, Matteo
LOGIC JOURNAL OF THE IGPL, 2019, 27 (06) : 865 - 894

← 1 2 3 4 5 →