Dynamic algebras which are not Kripke structures
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 528-538
- https://doi.org/10.1007/bfb0022530
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A representation theorem for models of *-free PDLPublished by Springer Nature ,1980
- Models of program logicsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- A completeness technique for d-axiomatizable semanticsPublished by Association for Computing Machinery (ACM) ,1979
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979
- 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