On induction vs. *-continuity
- 19 November 2005
- book chapter
- Published by Springer Nature
- p. 167-176
- https://doi.org/10.1007/bfb0025782
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Dynamic algebras which are not Kripke structuresPublished by Springer Nature ,2005
- Dynamic algebras and the nature of inductionPublished by Association for Computing Machinery (ACM) ,1980
- A representation theorem for models of *-free PDLPublished by Springer Nature ,1980
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- The completeness of propositional dynamic logicPublished by Springer Nature ,1978
- Two Complete Axiom Systems for the Algebra of Regular EventsJournal of the ACM, 1966