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:
The COVID-19 restrictions have been tightened once again. To many staff members and students, this feels like a step backwards. We chatted with members of the Board of the University Jouke de Vries, Cisca Wijmenga and Hans Biemans about managerial...
Biological clocks have sizeable effects on the performance of elite athletes. This conclusion was drawn by chronobiologists from the University of Groningen after studying the times achieved by swimmers in four different Olympic Games. Shifting the...
Professor Oscar Couwenberg was appointed Honorary Professor of Corporate Governance at the University of Groningen/Campus Fryslân. Couwenberg was previously the Dean of the Faculty of Spatial Sciences of the University of Groningen and is currently...