Preview
Unable to display preview. Download preview PDF.
References
Kozen, D. A representation theorem for models of *-free PDL, manuscript, July 1979.
Kozen, D. On the duality of dynamic algebras and Kripke models, manuscript, may 1979.
Kozen, D. On the representation of dynamic algebras, manuscript, October, 1979.
Pratt, V. R. Dynamic algebras: examples, constructions, applications, manuscript, July, 1979.
Pratt, V. R. Dynamic algebras and the nature of induction, manuscript, March, 1980.
Longochev, I. A completeness theorem for PDL with test operator, master thesis, April 1980 (Bulgarian, Math. Fac. Sofia univ.)
Longochev, I. A completeness theorem for PDL with test operator, J. Theoretical and System Programming, Computing Centre SOAN SSSR 1981, Novosibirsk (in Russian)
Reiterman, J. and Trnkovà , V. Dynamic algebras which are not Kripke structures, Lecture Notes in Computer Science 88, 1980, 528–538.
Segerberg, K. A completeness theorem in the modal logics of programs, to appear in the Stefan Banach International Mathematical Centre, publications series.
Rasiowa, H. and Sikorski R. The Mathematics of Metamathematics, Warsaw, 3rd ed. 1970.
Fischer, M. J. and Ladner, R. E. Propositional Modal Logic of Programs, Proc; 9th ACM Symp. on Theory of Comp. May 2–4, 1977, pp 160–166.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vakarelov, D. (1983). Filtration theorem for dynamic algebras with tests and inverse operator. In: Salwicki, A. (eds) Logics of Programs and Their Applications. Logic of Programs 1980. Lecture Notes in Computer Science, vol 148. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-11981-7_23
Download citation
DOI: https://doi.org/10.1007/3-540-11981-7_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11981-4
Online ISBN: 978-3-540-39445-7
eBook Packages: Springer Book Archive