Temporal logic : from ancient ideas to artificial intelligence /

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. T...

Full description

Bibliographic Details

Main Author:	Øhrstrøm, Peter
Corporate Author:	SpringerLink (Online service)
Other Authors:	Hasle, Per F. V.
Format:	eBook
Language:	English
Published:	Dordrecht ; Boston : Kluwer Academic Publishers, [1995]
Series:	Studies in linguistics and philosophy ; v. 57.
Subjects:	Tense (Logic) Logic, Symbolic and mathematical. Time. PHILOSOPHY > Logic. Electronic books.
Online Access:	Connect to the full text of this electronic book