A DECIDABLE PROPOSITIONAL DYNAMIC LOGIC WITH EXPLICIT PROBABILITIES

被引：23

作者：

FELDMAN, YA ^{[1
]}

机构：

[1] WEIZMANN INST SCI, DEPT APPL MATH, IL-76100 REHOVOT, ISRAEL

来源：

INFORMATION AND CONTROL | 1984年 / 63卷 / 1-2期

关键词：

D O I：

10.1016/S0019-9958(84)80039-X

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：11 / 38

页数：28

共 22 条

[1]

Aho A. V., 1974, DESIGN ANAL COMPUTER, V1st

[2]

BENOR M, 1984, 16TH P ANN ACM S THE, P457

[3]

FELDMAN YA, 1984, J COMPUT SYST SCI, V28, P193, DOI 10.1016/0022-0000(84)90065-5

[4]

FELDMAN YA, 1984, THESIS WEIZMANN I SC

[5]

FELDMAN YA, 1982, 14TH ACM S THEOR COM, P181

[6]

FISCHER MJ, 1979, J COMPUT SYSTEM SCI, V18

[7]

HALPERN JY, 1981, 22ND IEEE S F COMP S

[8] PROPOSITIONAL DYNAMIC LOGIC OF NONREGULAR PROGRAMS [J].

HAREL, D ;

PNUELI, A ;

STAVI, J .

[9] UNDECIDABILITY OF PDL WITH L=(A2I/I-GREATER-THAN-OR-EQUAL-TO-O) [J].

HAREL, D ;

PATERSON, MS .

[10]

HAREL D, 1984, JAN P C LOG COMP CLA