主讲人： Prof. Valentin Goranko (Stockholm University, http://www2.philosophy.su.se/goranko/)
题目：Interval-based temporal logics: an overview
There are two main types of ontologies for temporal reasoning, depending on what basic temporal entities they assume as primitive: instant-based and interval-based. Truth of formulae in interval-based temporal logics is evaluated relative to time intervals, which are taken as possible worlds of the interval-based models, with the various natural relations between intervals taken as accessibility relations between them. That leads to a rich variety of interval-based multi-modal logics.
In this talk I will give an overview of models and logics for interval-based temporal reasoning, focusing mainly on fragments of the Halpern-Shoham Interval logic HS. I will give a concise introduction to the topic and will outline and discuss the recently completed classification of expressiveness and the (nearly completed) classification of (un)decidability of fragments of HS. Then I will survey briefly some results on axiomatizations, where there are still many challenging problems, some of which I will mention.