Remarks to Shoham’s Temporal Logic

  • Karl Schlechta
Conference paper
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 181)


We describe a problem in Shoham’s system of temporal logic and present a solution.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [S0]
    Y. Shoham: Reified Temporal Logics: Semantical and Ontological Considerations; Proceedings ECAI 1986, 390–397Google Scholar
  2. [S]
    Y. Shoham: Temporal Logics in AI: Semantical and Ontological Considerations; AI 33 (1987) 89–104MathSciNetzbMATHGoogle Scholar
  3. [S1]
    .Shoham: Reasoning about Change; MIT Press, Cambridge (Mass.), 1988Google Scholar
  4. [A]
    J.F. Ailen: Towards a General Theory of Action and Time: AI 23 (1984) 123–154Google Scholar
  5. [AH]
    J.F.Allen, P.J. Hayes: A Common–Sense Theory of Time, Proceedings IJCAI 8 (1985) 528–531Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Karl Schlechta
    • 1
  1. 1.Berlin 41Germany

Personalised recommendations