MULTIPLE PROPOSITIONAL DYNAMIC LOGIC OF PARALLEL PROGRAMS

被引：0
|
作者：
DANECKI, R
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 324卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：240 / 248
页数：9
相关论文
共 50 条
  • [41] SEQUENTIAL METHOD IN PROPOSITIONAL DYNAMIC LOGIC
    NISHIMURA, H
    ACTA INFORMATICA, 1979, 12 (04) : 377 - 400
  • [42] Translating Preferred Answer Set Programs to Propositional Logic
    Asuncion, Vernon
    Zhang, Yan
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 396 - 401
  • [43] Canonical Logic Programs Are Succinctly Incomparable with Propositional Formulas
    Shen, Yuping
    Zhao, Xishun
    FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 665 - 668
  • [44] Reductions of Petri nets and unfolding of propositional logic programs
    Fribourg, L
    Olsen, H
    LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION, 1997, 1207 : 187 - 203
  • [45] Propositional Logic as a Propositional Fuzzy Logic
    Callejas Bedregal, Benjamin Rene
    Cruz, Anderson Paiva
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 143 : 5 - 12
  • [46] Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions
    Li, Yanjun
    JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (02) : 451 - 473
  • [47] A PARALLEL APPROACH FOR THEOREM-PROVING IN PROPOSITIONAL LOGIC
    CHEN, WT
    LIU, LL
    INFORMATION SCIENCES, 1987, 41 (01) : 61 - 76
  • [48] PROPOSITIONAL DYNAMIC LOGIC IS WEAKER WITHOUT TESTS
    BERMAN, F
    PATERSON, M
    THEORETICAL COMPUTER SCIENCE, 1981, 16 (03) : 321 - 328
  • [49] A DECIDABLE PROPOSITIONAL DYNAMIC LOGIC WITH EXPLICIT PROBABILITIES
    FELDMAN, YA
    INFORMATION AND CONTROL, 1984, 63 (1-2): : 11 - 38
  • [50] Propositional Dynamic Logic for Petri Nets with Iteration
    Benevides, Mario R. F.
    Lopes, Bruno
    Haeusler, Edward Hermann
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, 2016, 9965 : 441 - 456
12345