LP-1998-16: Temporal Logic

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

[thumbnail of Full Text] Text (Full Text)

Download (128kB)
[thumbnail of Abstract] Text (Abstract)

Download (193B)


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 View Item