LP-1998-16: Temporal Logic

LP-1998-16: Venema, Yde (1998) Temporal Logic. [Report]

	Text (Full Text) LP-1998-16.text.ps.gz Download (128kB)
	Text (Abstract) LP-1998-16.abstract.txt Download (193B)

Abstract

We give an introduction to the field of Temporal Logic. This
report will form a Chapter of Blackwell's Guide to Philosophical
Logic (to appear), edited by Lou Goble.

Item Type:	Report
Report Nr:	LP-1998-16
Series Name:	Logic, Philosophy and Linguistics (LP)
Year:	1998
Date Deposited:	12 Oct 2016 14:40
Last Modified:	12 Oct 2016 14:40
URI:	https://eprints.illc.uva.nl/id/eprint/1276

Actions (login required)

View Item