Advertisement

First-Order Temporal Logic

  • Fred Kröger
Part of the EATCS Monographs on Theoretical Computer Science book series (EATCS, volume 8)

Abstract

Temporal logic can be developed from its propositional basis to a first-order predicate logic in a way analogous to how this is done in the classical case.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Fred Kröger
    • 1
  1. 1.Institut für InformatikUniversität MünchenMünchen 2Germany

Personalised recommendations