Investigation of finitary calculi for the temporal logics by means of infinitary calculi

  • Regimantas Pliuškevičius
Part of the Lecture Notes in Computer Science book series (LNCS, volume 452)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Andreka, H., Nemeti, I., Sain, I., ”Completeness problems in verification of programs and program schemes.” Mathematical Foundations of Computer Science, Springer Verlag, Vol 74, (1979), 208–218.Google Scholar
  2. 2.
    Kawai, H. ”Sequential calculus for a first order intinitary temporal logic”. Zeitschr. fur Math. Logic und Grundlagen der Math. Vol. 33, No5, (1987), 423–432.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Regimantas Pliuškevičius
    • 1
  1. 1.Institute of Mathematics and CyberneticsLithuanian Academy of SciencesVilnius

Personalised recommendations