[an error occurred while processing this directive] An error occured whilst processing this directive

LFCS Seminar

On the complexity of temporal logics over linear time domains

Alex Rabinovich

Tel-Aviv University, Israel

4pm Tuesday, 26th January, 2010
Room 4.31/33, Informatics Forum

Abstract

We investigate the complexity of the validity problem of temporal logics with a finite set of modalities.

We show that the problem is in PSPACE over the rationals, over the reals, over the class of all linear orders and over many interesting classes of linear orders.

An error occured whilst processing this directive