@book{fd3a5330002c11dab4d5000ea68e967b,
title = "Temporal Logic: from Ancient Ideas to Artificial Intelligence",
keywords = "Tidsbegrebet, Tidslogik, Tense logik, Tidslogikkens historie, Logikkens historie, Kunstig intelligens, Tidsbegrebet, Tidslogik, Tense logik, Tidslogikkens historie, Logikkens historie, Kunstig intelligens",
author = "Peter {\O}hrstr{\o}m and Hasle, {P. F. V.}",
year = "1995",
language = "English",
isbn = "0792335864",
series = "Studies in Linguistics and Philosophy",
publisher = "Kluwer Academic Publishers",
number = "57",
}