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 条

[1] ON DECIDABLE EXTENSIONS OF PROPOSITIONAL DYNAMIC LOGIC WITH CONVERSE
Rogozin, Daniel
Shapirovsky, Ilya
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2023, 10 (04): : 629 - 642
[2] On Decidable Extensions of Propositional Dynamic Logic with Converse
Rogozin, Daniel
Shapirovsky, Ilya
Journal of Applied Logics, 2023, 10 (04): : 629 - 642
[3] PROPOSITIONAL DYNAMIC LOGIC OF LOOPING AND CONVERSE IS ELEMENTARILY DECIDABLE
STREETT, RS
INFORMATION AND CONTROL, 1982, 54 (1-2): : 121 - 141
[4] Theories of Propositional Logics and the Converse of Substitution
Gorbunov, I. A.
RUSSIAN MATHEMATICS, 2022, 66 (05) : 26 - 32
[5] Theories of Propositional Logics and the Converse of Substitution
I. A. Gorbunov
Russian Mathematics, 2022, 66 : 26 - 32
[6] On combinations of propositional dynamic logic and doxastic modal logics
Schmidt R.A.
Tishkovsky D.
Journal of Logic, Language and Information, 2008, 17 (1) : 109 - 129
[7] PROPOSITIONAL DYNAMIC LOGIC WITH CONVERSE AND REPEAT FOR MESSAGE-PASSING SYSTEMS
Mennicke, Roy
LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 9 (02)
[8] Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse
Gore, Rajeev
Widmann, Florian
AUTOMATED REASONING, 2010, 6173 : 225 - 239
[9] Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems
Mennicke, Roy
CONCUR 2012 - CONCURRENCY THEORY, 2012, 7454 : 531 - 546
[10] LOGICS OF KNOWLEDGE, GAMES AND DYNAMIC LOGIC
PARIKH, R
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 181 : 202 - 222

← 1 2 3 4 5 →