CT-1998-03: Temporal Patterns and Modal Structure

CT-1998-03: van Benthem, Johan (1998) Temporal Patterns and Modal Structure. [Report]

[thumbnail of Full Text (PDF)]
Text (Full Text (PDF))

Download (69kB) | Preview
[thumbnail of Full Text (PS)] Text (Full Text (PS))

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

Download (464B)


Temporal logic arose at the border of philosophy and linguistics. From the
seventies onward, it became a major tool also in computer science and artificial
intelligence, which have become the most powerful source of new logical
developments since.
We discuss some recent themes demonstrating new connections with modal logic.
In the course of this, we point out some new types of open research questions.

Item Type: Report
Report Nr: CT-1998-03
Series Name: Computation and Complexity Theory (CT)
Year: 1998
Date Deposited: 12 Oct 2016 14:39
Last Modified: 12 Oct 2016 14:39
URI: https://eprints.illc.uva.nl/id/eprint/1078

Actions (login required)

View Item View Item