THE LOGIC OF COMMON NOUNS, AN INVESTIGATION IN QUANTIFIED MODAL LOGIC - GUPTA,A

被引：0

|

作者：

REIX, A

机构：

来源：

ETUDES PHILOSOPHIQUES | 1983年 / 02期

关键词：

D O I：

暂无

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：238 / 238

页数：1

相关论文

共 50 条

[31] Modal Metatheory for Quantified Modal Logic, With and Without the Barcan Formulas
McCarthy, Andrew Joseph
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2021, 62 (02) : 285 - 301
[32] Existential second-order logic and modal logic with quantified accessibility relations
Hella, Lauri
Kuusisto, Antti
INFORMATION AND COMPUTATION, 2016, 247 : 217 - 234
[33] COMMON KNOWLEDGE IN MODAL LOGIC
LISMONT, L
MATHEMATICAL LOGIC QUARTERLY, 1993, 39 (01) : 115 - 130
[34] On the translation from quantified modal logic to Counterpart Theory
Cristina Nencha
Synthese, 200
[35] On the quantified version of the Belnap-Dunn modal logic
Grefenshtein, A., V
Speranski, S. O.
SBORNIK MATHEMATICS, 2024, 215 (03) : 323 - 354
[36] A strong completeness theorem in intuitionistic quantified modal logic
Hengshan Gao
Science in China Series E: Technological Sciences, 2000, 43 : 60 - 70
[37] A strong completeness theorem in intuitionistic quantified modal logic
高恒珊
Science in China(Series E:Technological Sciences), 2000, (01) : 60 - 70
[38] On the translation from quantified modal logic to Counterpart Theory
Nencha, Cristina
SYNTHESE, 2022, 200 (05)
[39] On the translation from quantified modal logic into the counterpart theory
Shen, Yu-Ming
Wang, Ju
Tang, Su-Qin
Jiang, Yun-Cheng
Ruan Jian Xue Bao/Journal of Software, 2012, 23 (09): : 2323 - 2335
[40] A strong completeness theorem in intuitionistic quantified modal logic
Gao, HS
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 2000, 43 (01): : 60 - 70

← 1 2 3 4 5 →