Filtration theorem for dynamic algebras with tests and inverse operator

  • Dimiter Vakarelov
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 148)

Key words

dynamic algebras programming algebras dynamic logic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Kozen, D. A representation theorem for models of *-free PDL, manuscript, July 1979.Google Scholar
  2. [2]
    Kozen, D. On the duality of dynamic algebras and Kripke models, manuscript, may 1979.Google Scholar
  3. [3]
    Kozen, D. On the representation of dynamic algebras, manuscript, October, 1979.Google Scholar
  4. [4]
    Pratt, V. R. Dynamic algebras: examples, constructions, applications, manuscript, July, 1979.Google Scholar
  5. [5]
    Pratt, V. R. Dynamic algebras and the nature of induction, manuscript, March, 1980.Google Scholar
  6. [6]
    Longochev, I. A completeness theorem for PDL with test operator, master thesis, April 1980 (Bulgarian, Math. Fac. Sofia univ.)Google Scholar
  7. [7]
    Longochev, I. A completeness theorem for PDL with test operator, J. Theoretical and System Programming, Computing Centre SOAN SSSR 1981, Novosibirsk (in Russian)Google Scholar
  8. [8]
    Reiterman, J. and Trnkovà, V. Dynamic algebras which are not Kripke structures, Lecture Notes in Computer Science 88, 1980, 528–538.Google Scholar
  9. [9]
    Segerberg, K. A completeness theorem in the modal logics of programs, to appear in the Stefan Banach International Mathematical Centre, publications series.Google Scholar
  10. [10]
    Rasiowa, H. and Sikorski R. The Mathematics of Metamathematics, Warsaw, 3rd ed. 1970.Google Scholar
  11. [11]
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • Dimiter Vakarelov
    • 1
  1. 1.Center of Mathematics and MechanicsBulgarian Academy of SciencesSofiaBulgaria

Personalised recommendations