Wednesday, February 11th 2015
Past, present, and future of Interval Temporal Logics
In this talk, I describe a family of modal logics for reasoning aboutrelational structures of intervals over (usually) linear orders, with modaloperators associated with the various binary relations between suchintervals, known as Allen's interval relations. The formulae of theselogics are evaluated at intervals rather than points and the maineffect of that semantic feature is substantially higher expressive powerand computational complexity of interval temporal logics as compared topoint-based ones. Without purporting to provide a comprehensivesurvey of the field, I take the audience to a journey through past,present, and future of interval temporal logics. After a short introductionto the field, I present the main developments over the past 10 years,outlining some landmark results on expressiveness and(un)decidability / complexity of the satisfiability problem for thefamily of interval logics, and I discuss current and future researchwork, with a special attention to the model checking problem.
Colloquium coordinators are Prof.dr. M. Aiello (e-mail :
Prof.dr. M. Biehl (e-mail:
Effective immediately, UG-authors are entitled to a discount when publishing open access in one of the 271 journals from publisher MDPI. Corresponding authors from the UG will receive a 10% discount on the article processing charge. The only...
This year, the University of Groningen has submitted four research projects to compete for the national Klokhuis Science Prize. The aim of this prize is to introduce a young and wide audience to academic research. The winning project will be...
Non-executive directors (hereafter: directors) have to take a critical stance towards the top managers they supervise. This has been the dominant perspective among researchers and the media after the financial crisis of 2008 and recent major...