AN INTERNAL SEMANTICS FOR MODAL LOGIC

被引：0

|

作者：

FAGIN, R

VARDI, MY

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1986年 / 51卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：841 / 841

页数：1

相关论文

共 50 条

[21] RELATIONAL AND NEIGHBORHOOD SEMANTICS FOR INTUITIONISTIC MODAL LOGIC
Kojima, Kensuke
[J]. REPORTS ON MATHEMATICAL LOGIC, 2012, 47 : 87 - 113
[22] Associative Substitutional Semantics and Quantified Modal Logic
Wieckowski, Bartosz
[J]. STUDIA LOGICA, 2010, 94 (01) : 105 - 138
[23] COUNTERPART-THEORETIC SEMANTICS FOR MODAL LOGIC
HAZEN, A
[J]. JOURNAL OF PHILOSOPHY, 1979, 76 (06): : 319 - 338
[24] Structural Operational Semantics and Modal Logic, Revisited
Klin, Bartek
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 264 (02) : 155 - 175
[25] Base-extension semantics for modal logic
Eckhardt, Timo
Pym, David J.
[J]. LOGIC JOURNAL OF THE IGPL, 2024,
[26] A NATURAL SEMANTICS FOR MODAL LOGIC OVER DATABASES
MAREK, W
[J]. THEORETICAL COMPUTER SCIENCE, 1988, 56 (02) : 187 - 209
[27] AN ALTERNATIVE SEMANTICS FOR MODAL LOGIC WITH IDENTITY AND QUANTIFIERS
HANSON, WH
[J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (03) : 685 - 686
[28] Associative Substitutional Semantics and Quantified Modal Logic
Bartosz Więckowski
[J]. Studia Logica, 2010, 94 : 105 - 138
[29] Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic
Zhiguang Zhao
[J]. Studia Logica, 2023, 111 : 1057 - 1082
[30] Propositional logic and modal logic-A connection via relational semantics
Zhong, Shengyang
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2024,

← 1 2 3 4 5 →