COMPARATIVE SEMANTICS FOR PROPOSITIONAL MODAL LOGIC - PRELIMINARY REPORT

被引：0

|

作者：

GERSON, MS ^{[1
]}

机构：

[1] SIMON FRASER UNIV,BURNABY 2,BRITISH COLUMBI,CANADA

来源：

NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY | 1974年 / 21卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：A22 / A22

页数：1

相关论文

共 50 条

[31] ON SUB-PROPOSITIONAL FRAGMENTS OF MODAL LOGIC
Bresolin, Davide
Munoz-Velasco, Emilio
Sciavicco, Guido
LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (02)
[32] Fuzzy reasoning based on propositional modal logic
Zhang, ZY
Sui, YF
Cao, C
ROUGH SETS AND CURRENT TRENDS IN COMPUTING, 2004, 3066 : 109 - 115
[33] Tableau approach of fuzzy propositional modal logic
Liu L.
Wang Q.
Lyu S.
Lyu, Shuai (lus@jlu.edu.cn), 1600, Editorial Board of Journal of Harbin Engineering (38): : 914 - 920
[34] REWRITE RULE SYSTEMS FOR MODAL PROPOSITIONAL LOGIC
FORET, A
JOURNAL OF LOGIC PROGRAMMING, 1992, 12 (03): : 281 - 298
[35] 4 SIMPLE SYSTEMS OF MODAL PROPOSITIONAL LOGIC
MASSEY, GJ
PHILOSOPHY OF SCIENCE, 1965, 32 (04) : 342 - 355
[36] A deduction theorem for normal modal propositional logic
Buvac, S
MODELING AND USING CONTEXT, PROCEEDINGS, 2003, 2680 : 107 - 115
[37] The Monodic Fragment of Propositional Term Modal Logic
Anantha Padmanabha
R. Ramanujam
Studia Logica, 2019, 107 : 533 - 557
[38] Phase Semantics for a Pure Noncommutative Linear Propositional Logic
应明生
JournalofComputerScienceandTechnology, 1999, (02) : 135 - 139
[39] A secondary semantics for second order intuitionistic propositional logic
Ferrari, M
Fiorentini, C
Fiorino, G
MATHEMATICAL LOGIC QUARTERLY, 2004, 50 (02) : 202 - 210
[40] Phase semantics for a pure noncommutative linear propositional logic
Mingsheng Ying
Journal of Computer Science and Technology, 1999, 14 (2) : 135 - 139

← 1 2 3 4 5 →