COMPARATIVE SEMANTICS FOR PROPOSITIONAL MODAL LOGIC - PRELIMINARY REPORT

被引：0

|

作者：

GERSON, MS ^{[1
]}

机构：

[1] SIMON FRASER UNIV,BURNABY 2,BRITISH COLUMBI,CANADA

来源：

NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY | 1974年 / 21卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：A22 / A22

页数：1

相关论文

共 50 条

[21] A Propositional Dynamic Logic for Instantial Neighborhood Semantics
van Benthem, Johan
Bezhanishvili, Nick
Enqvist, Sebastian
STUDIA LOGICA, 2019, 107 (04) : 719 - 751
[22] A General Relational Semantics of Propositional Logic: Axiomatization
Zhong, Shengyang
LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2021), 2021, 13038 : 82 - 99
[23] A Propositional Dynamic Logic for Instantial Neighborhood Semantics
Johan van Benthem
Nick Bezhanishvili
Sebastian Enqvist
Studia Logica, 2019, 107 : 719 - 751
[24] AN INTERNAL SEMANTICS FOR MODAL LOGIC
FAGIN, R
VARDI, MY
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 841 - 841
[25] A Unified Semantics for a Family of Modal Logics with Propositional Constants
Pascucci, Matteo
LOGICA UNIVERSALIS, 2016, 10 (01) : 45 - 66
[26] MONTAGUE TYPE SEMANTICS FOR MODAL LOGICS WITH PROPOSITIONAL QUANTIFIERS
GABBAY, DM
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1971, 17 (03): : 245 - &
[27] Expressivity of Second Order Propositional Modal Logic
Balder ten Cate
Journal of Philosophical Logic, 2006, 35 : 209 - 223
[28] REWRITE RULE SYSTEMS FOR MODAL PROPOSITIONAL LOGIC
FORET, A
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 : 147 - 156
[29] The Monodic Fragment of Propositional Term Modal Logic
Padmanabha, Anantha
Ramanujam, R.
STUDIA LOGICA, 2019, 107 (03) : 533 - 557
[30] QUANTIFICATION AND PREDICATION IN MODAL PREDICATIVE PROPOSITIONAL LOGIC
Vanderveken, Daniel
LOGIQUE ET ANALYSE, 2015, (229) : 35 - 55

← 1 2 3 4 5 →