AN INTERNAL SEMANTICS FOR MODAL LOGIC

被引：0

作者：

FAGIN, R

VARDI, MY

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：841 / 841

页数：1

共 50 条

[1] The worlds of possibility: Modal realism and the semantics of modal logic
Linsky, B
[J]. PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH, 2001, 63 (02) : 483 - 486
[2] The worlds of possibility: Modal realism and the semantics of modal logic
Gregory, D
[J]. MIND, 2001, 110 (439) : 736 - 740
[3] The worlds of possibility: Modal realism and the semantics of modal logic
Divers, J
[J]. PHILOSOPHICAL QUARTERLY, 2001, 51 (202): : 108 - 110
[4] Partial Semantics for Quantified Modal Logic
Eric Johannesson
[J]. Journal of Philosophical Logic, 2018, 47 : 1049 - 1060
[5] Prior on the semantics of modal and tense logic
M. J. Cresswell
[J]. Synthese, 2016, 193 : 3607 - 3623
[6] ALTERNATIVE SEMANTICS FOR PROPOSITIONAL MODAL LOGIC
HANSON, WH
[J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 402 - 403
[7] QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS
WAAGBO, G
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1992, 38 (5-6): : 491 - 499
[8] Prior on the semantics of modal and tense logic
Cresswelll, M. J.
[J]. SYNTHESE, 2016, 193 (11) : 3607 - 3623
[9] ALGEBRAIC SEMANTICS FOR MODAL PREDICATE LOGIC
FREEMAN, JB
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1976, 22 (06): : 523 - 552
[10] Game Semantics for Constructive Modal Logic
Acclavio, Matteo
Catta, Davide
Strassburger, Lutz
[J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2021, 2021, 12842 : 428 - 445