INTERPRETING LOGICS OF KNOWLEDGE IN PROPOSITIONAL DYNAMIC LOGIC WITH CONVERSE

被引：4

|

作者：

FISCHER, MJ

IMMERMAN, N

机构：

来源：

INFORMATION PROCESSING LETTERS | 1987年 / 25卷 / 03期

关键词：

D O I：

10.1016/0020-0190(87)90129-3

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：175 / 181

页数：7

相关论文

共 50 条

[21] Inquisitive Propositional Dynamic Logic
Vít Punčochář
Igor Sedlár
Journal of Logic, Language and Information, 2021, 30 : 91 - 116
[22] Relevant propositional dynamic logic
Tedder, Andrew
Bilkova, Marta
SYNTHESE, 2022, 200 (03)
[23] Relevant propositional dynamic logic
Andrew Tedder
Marta Bilková
Synthese, 200
[24] DECIDABILITY OF FINITE PROBABILISTIC PROPOSITIONAL DYNAMIC LOGICS
TIOMKIN, M
MAKOWSKY, JA
INFORMATION AND COMPUTATION, 1991, 94 (02) : 180 - 203
[25] PROPOSITIONAL DYNAMIC LOGIC OF FLOWCHARTS
HAREL, D
SHERMAN, R
LECTURE NOTES IN COMPUTER SCIENCE, 1983, 158 : 195 - 206
[26] Decidability and Expressivity of Ockhamist Propositional Dynamic Logics
Boudou, Joseph
Lorini, Emiliano
LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), 2016, 10021 : 144 - 158
[27] Propositional dynamic logic as a logic of belief revision
van Eijck, Jan
Wang, Yanjing
LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2008, 5110 : 136 - 148
[28] Interpreting intuitionistic propositional logic in terms of intuitionistic protothetics
Yashin A.D.
Algebra and Logic, 2002, 41 (1) : 59 - 64
[29] KNOWLEDGE EXTRACTION IN TRIVALUED PROPOSITIONAL LOGIC
RAUZY, A
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 548 : 287 - 291
[30] Propositional Epistemic Logics with Quantification Over Agents of Knowledge
Shtakser, Gennady
STUDIA LOGICA, 2018, 106 (02) : 311 - 344

← 1 2 3 4 5 →