Decision complexity of variants of propositional dynamic logic
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 656-664
- https://doi.org/10.1007/bfb0022540
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Modal logic of concurrent nondeterministic programsPublished by Springer Nature ,2005
- On axiomatization of deterministic propositional dynamic logicLecture Notes in Computer Science, 1979
- A decidability result for a second order process logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1978
- A practical decision method for propositional dynamic logic (Preliminary Report)Published by Association for Computing Machinery (ACM) ,1978
- Propositional modal logic of programsPublished by Association for Computing Machinery (ACM) ,1977
- An algebraic system for process structuring and interprocess communicationPublished by Association for Computing Machinery (ACM) ,1976
- Parallel recursive program schemesPublished by Springer Nature ,1975