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 条
  • [31] Propositional Epistemic Logics with Quantification Over Agents of Knowledge
    Gennady Shtakser
    Studia Logica, 2018, 106 : 311 - 344
  • [32] An extended propositional logic for incomplete knowledge
    Giaquinta M.
    Modica G.
    Souček J.
    ANNALI DELL'UNIVERSITA' DI FERRARA, 2011, 57 (2) : 287 - 302
  • [33] A propositional dynamic logic with qualitative probabilities
    Guelev, DP
    JOURNAL OF PHILOSOPHICAL LOGIC, 1999, 28 (06) : 575 - 605
  • [34] A semantics for persistency in propositional dynamic logic
    Broersen, J
    Wieringa, R
    Meyer, JJ
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 912 - 925
  • [35] THERE EXIST DECIDABLE CONTEXT FREE PROPOSITIONAL DYNAMIC LOGICS
    KOREN, T
    PNUELI, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 164 : 290 - 312
  • [36] PROPOSITIONAL DYNAMIC LOGIC OF REGULAR PROGRAMS
    FISCHER, MJ
    LADNER, RE
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1979, 18 (02) : 194 - 211
  • [37] Propositional dynamic logic with recursive programs
    Löding, C
    Serre, O
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2006, 3921 : 292 - 306
  • [38] Propositional dynamic logic for Petri nets
    Lopes, Bruno
    Benevides, Mario
    Haeusler, Edward Hermann
    LOGIC JOURNAL OF THE IGPL, 2014, 22 (05) : 721 - 736
  • [39] A Propositional Dynamic Logic for CCS programs
    Benevides, Mario R. F.
    Schechter, L. Menasche
    LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2008, 5110 : 83 - 97
  • [40] PROPOSITIONAL DYNAMIC LOGIC OF NONREGULAR PROGRAMS
    HAREL, D
    PNUELI, A
    STAVI, J
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1983, 26 (02) : 222 - 243
12345