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] Propositional dynamic logic for Petri nets
    Lopes, Bruno
    Benevides, Mario
    Haeusler, Edward Hermann
    LOGIC JOURNAL OF THE IGPL, 2014, 22 (05) : 721 - 736
  • [42] A Propositional Dynamic Logic for CCS programs
    Benevides, Mario R. F.
    Schechter, L. Menasche
    LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2008, 5110 : 83 - 97
  • [43] Propositional Dynamic Logic for Recursive Procedures
    Leivant, Daniel
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 5295 : 6 - 14
  • [44] PROPOSITIONAL DYNAMIC LOGIC WITH LOCAL ASSIGNMENTS
    TIOMKIN, ML
    MAKOWSKY, JA
    THEORETICAL COMPUTER SCIENCE, 1985, 36 (01) : 71 - 87
  • [45] SEQUENTIAL METHOD IN PROPOSITIONAL DYNAMIC LOGIC
    NISHIMURA, H
    ACTA INFORMATICA, 1979, 12 (04) : 377 - 400
  • [46] NONSTANDARD MODELS IN PROPOSITIONAL DYNAMIC LOGIC
    BERMAN, F
    LECTURE NOTES IN COMPUTER SCIENCE, 1983, 148 : 81 - 85
  • [47] A Propositional Dynamic Logic with Qualitative Probabilities
    Dimitar P. Guelev
    Journal of Philosophical Logic, 1999, 28 : 575 - 604
  • [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] 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
  • [50] 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):
12345