Determinism and looping in combinatory PDL
- 30 November 1988
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 61 (2-3) , 259-277
- https://doi.org/10.1016/0304-3975(88)90126-0
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- More on looping vs. repeating in dynamic logicInformation Processing Letters, 1985
- PDL with data constantsInformation Processing Letters, 1985
- Looping vs. repeating in dynamic logicInformation and Control, 1982
- Deterministic propositional dynamic logic: Finite models, complexity, and completenessJournal of Computer and System Sciences, 1982
- Propositional dynamic logic of looping and converse is elementarily decidableInformation and Control, 1982
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979