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 条

[41] Four-valued modal logic: Kripke semantics and duality
Rivieccio, Umberto
Jung, Achim
Jansana, Ramon
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (01) : 155 - 199
[42] Charles S. Chihara, The Worlds of Possibility, Modal Realism and the Semantics of Modal Logic
Daniel Nolan
[J]. Studia Logica, 2004, 76 (3) : 443 - 446
[43] Indexed flows in temporal x modal logic with functional semantics
Burrieza, A
de Guzmán, IP
Muñoz, E
[J]. NINTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2002, : 146 - 153
[44] MEANING AND NECESSITY, A STUDY IN SEMANTICS AND MODAL LOGIC - CARNAP,P
MARTIN, RM
[J]. PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH, 1958, 18 (04) : 558 - 559
[45] Quantified modal logic, dynamic semantics and S-5
Gochet, P
Gillet, P
[J]. DIALECTICA, 1999, 53 (3-4) : 243 - 251
[46] HEIGHT OF VALUATIONS IN NON-DETERMINISTIC SEMANTICS FOR MODAL LOGIC
Pawlowski, Pawel
[J]. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2023, 10 (04): : 587 - 601
[47] Algebraic semantics for a modal logic close to S1
Lewitzka, Steffen
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (05) : 1769 - 1783
[48] Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic
Minari, Pierluigi
[J]. ADVANCES IN PROOF THEORY, 2016, 28 : 291 - 318
[49] HEIGHT OF VALUATiONS IN NON-DETERMINISTIC SEMANTICS FOR MODAL LOGIC.
Pawlowski, Pawel
[J]. Journal of Applied Logics, 2023, 10 (04): : 587 - 601
[50] Modal Access Control Logic Axiomatization, Semantics and FOL Theorem Proving
Genovese, Valerio
Rispoli, Daniele
Gabbay, Dov M.
van der Torre, Leendert
[J]. STAIRS 2010: PROCEEDINGS OF THE FIFTH STARTING AI RESEARCHERS' SYMPOSIUM, 2011, 222 : 114 - 126

← 1 2 3 4 5 →