Process logic: Expressiveness, decidability, completeness
- 1 October 1982
- journal article
- Published by Elsevier BV in Journal of Computer and System Sciences
- Vol. 25 (2), 144-170
- https://doi.org/10.1016/0022-0000(82)90003-4
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- An elementary proof of the completeness of PDLTheoretical Computer Science, 1981
- Descriptively complete process logicActa Informatica, 1980
- A near-optimal method for reasoning about actionJournal of Computer and System Sciences, 1980
- Two results on process logicInformation Processing Letters, 1979
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979