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 条

[41] AN ARITHMETICAL HIERARCHY IN PROPOSITIONAL DYNAMIC LOGIC
ISTRAIL, S
INFORMATION AND COMPUTATION, 1989, 81 (03) : 280 - 289
[42] Propositional Dynamic Logic with Program Quantifiers
Leivant, Daniel
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 218 (231-240) : 231 - 240
[43] NONSTANDARD MODELS IN PROPOSITIONAL DYNAMIC LOGIC
BERMAN, F
LECTURE NOTES IN COMPUTER SCIENCE, 1983, 148 : 81 - 85
[44] A Propositional Dynamic Logic with Qualitative Probabilities
Dimitar P. Guelev
Journal of Philosophical Logic, 1999, 28 : 575 - 604
[45] PROPOSITIONAL DYNAMIC LOGIC WITH LOCAL ASSIGNMENTS
TIOMKIN, ML
MAKOWSKY, JA
THEORETICAL COMPUTER SCIENCE, 1985, 36 (01) : 71 - 87
[46] Propositional Dynamic Logic for Recursive Procedures
Leivant, Daniel
VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 5295 : 6 - 14
[47] SEQUENTIAL METHOD IN PROPOSITIONAL DYNAMIC LOGIC
NISHIMURA, H
ACTA INFORMATICA, 1979, 12 (04) : 377 - 400
[48] Propositional dynamic logic with recursive programs
Loeding, Christof
Lutz, Carsten
Serre, Olivier
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 73 (1-2): : 51 - 69
[49] The importance of the past in interval temporal logics: The case of propositional neighborhood logic
Della Monica, D. (ddellamonica@unisa.it), 1600, Springer Verlag (7360 LNCS):
[50] Semantic characterization of rational closure: From propositional logic to description logics
Giordano, L.
Gliozzi, V.
Olivetti, N.
Pozzato, G. L.
ARTIFICIAL INTELLIGENCE, 2015, 226 : 1 - 33

← 1 2 3 4 5 →