4 SIMPLE SYSTEMS OF MODAL PROPOSITIONAL LOGIC

被引：0

|

作者：

MASSEY, GJ

机构：

来源：

PHILOSOPHY OF SCIENCE | 1965年 / 32卷 / 04期

关键词：

D O I：

10.1086/288058

中图分类号：

N09 [自然科学史]; B [哲学、宗教];

学科分类号：

01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;

摘要：

引用

收藏

页码：342 / 355

页数：14

相关论文

共 50 条

[31] Refutation systems for propositional modal logics
Miglioli, P
Moscato, U
Ornaghi, M
THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1995, 918 : 95 - 105
[32] GENERIC RESOLUTION IN PROPOSITIONAL MODAL SYSTEMS
DENIVELLE, H
LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 241 - 252
[33] A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic
Shtakser, Gennady
JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2023, 32 (03) : 511 - 538
[34] A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic
Gennady Shtakser
Journal of Logic, Language and Information, 2023, 32 : 511 - 538
[35] A new modal logic for reasoning about space: spatial propositional neighborhood logic
Antonio Morales
Isabel Navarrete
Guido Sciavicco
Annals of Mathematics and Artificial Intelligence, 2007, 51 : 1 - 25
[36] A new modal logic for reasoning about space: spatial propositional neighborhood logic
Morales, Antonio
Navarrete, Isabel
Sciavicco, Guido
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2007, 51 (01) : 1 - 25
[37] On the simple substitution property for superintuitionistic and modal propositional logics
Khomich, V. I.
DOKLADY MATHEMATICS, 2008, 78 (03) : 923 - 924
[38] On the simple substitution property for superintuitionistic and modal propositional logics
V. I. Khomich
Doklady Mathematics, 2008, 78 : 923 - 924
[39] A Semantical Analysis of Second-Order Propositional Modal Logic
Belardinelli, F.
van der Hoek, W.
THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, : 886 - 892
[40] On the Expressive Power of Sub-Propositional Fragments of Modal Logic
Bresolin, Davide
Munoz-Velasco, Emilio
Sciavicco, Guido
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (226): : 91 - 104

← 1 2 3 4 5 →