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 条

[31] Sequent Calculi for the Modal μ-Calculus over S5
Alberucci, Luca
JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (06) : 971 - 985
[32] Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S5
Gore, Rajeev
Tiu, Alwen
JOURNAL OF LOGIC AND COMPUTATION, 2007, 17 (04) : 767 - 794
[33] SHEFFER FUNCTIONS FOR MANY-VALUED S5 MODAL LOGICS
MASSEY, GJ
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1969, 15 (02): : 101 - &
[34] THE ALGEBRAIC AND KRIPKE'S SEMANTICS FOR QUANTIFIED MODAL SYSTEMS——THE CASE CONCERNING S5
高恒珊
Science Bulletin, 1987, (13) : 870 - 872
[35] Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5
Lellmann, Bjoern
Pattinson, Dirk
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2013), 2013, 8123 : 219 - 233
[36] Satisfiability problem for modal logic with global counting operators coded in binary is NEXPTIME-complete
Zawidzki, Michal
Schmidt, Renate A.
Tishkovsky, Dmitry
INFORMATION PROCESSING LETTERS, 2013, 113 (1-2) : 34 - 38
[37] EXPSPACE-Completeness of the Logics K4 x S5 and S4 x S5 and the Logic of Subset Spaces
Hertling, Peter
Krommes, Gisela
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2021, 22 (04)
[38] Complete Willmore Legendrian surfaces in S5 are minimal Legendrian surfaces
Luo, Yong
Sun, Linlin
ANNALS OF GLOBAL ANALYSIS AND GEOMETRY, 2020, 58 (02) : 177 - 189
[39] THE ALGEBRAIC AND KRIPKE SEMANTICS FOR QUANTIFIED MODAL SYSTEMS - THE CASE CONCERNING S5
GAO, HS
KEXUE TONGBAO, 1987, 32 (13): : 870 - 872
[40] Communication Logic on Multi-Modal Logic S5n
Matsuhisa, Takashi
PROCEEDING OF THE THIRD INTERNATIONAL CONFERENCE ON INTELLIGENT HUMAN COMPUTER INTERACTION (IHCI 2011), 2013, 179 : 197 - 206

← 1 2 3 4 5 →