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 |