2026-06-03T05:41:10Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/83202026-02-03T12:28:56Zcom_10630_2254col_10630_37959

Reasoning in Interval Temporal Logics - New Frontiers Sciavicco, Guido Decidabilidad (Lógica matemática) In this talk, we are going to survey the basic elements of temporal logics based on intervals instead of points. We shall first give the most fundamental definitions, with particular attention to the parameters that influence the computational properties of logics of time intervals. Then, we shall see the most important results that we have obtained in the past years. Finally, we shall focus our attention on the currently open problems, and, in particular, those on which we are working on in joint with the University of Malaga. We shall conclude by proposing interesting line of research closely connected to such problems. 2014-10-27T12:15:58Z 2014-10-27T12:15:58Z 2014-10-24 2014-10-27 conference output http://hdl.handle.net/10630/8320 eng Conferencia Departamento Matemática Aplicada Noviembre 2014 open access