Finite models for deterministic propositional dynamic logic
- 1 January 1981
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 249-263
- https://doi.org/10.1007/3-540-10843-2_21
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Decision complexity of variants of propositional dynamic logicPublished by Springer Nature ,2005
- A near-optimal method for reasoning about actionJournal of Computer and System Sciences, 1980
- Propositional logics of programsPublished by Association for Computing Machinery (ACM) ,1980
- Models of program logicsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- 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
- Semantical consideration on floyo-hoare logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976