Publication:3113783
From MaRDI portal
DOI10.4230/LIPIcs.STACS.2010.2488zbMath1230.03047MaRDI QIDQ3113783
Guido Sciavicco, Angelo Montanari, Gabriele Puppis, Pietro Sala
Publication date: 23 January 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_8c01.html
03D15: Complexity of computation (including implicit computational complexity)
03B44: Temporal logic
03D10: Turing machines and related notions
03D78: Computation over the reals, computable analysis
Related Items
An interval temporal logic characterization of extended \(\omega\)-regular languages, A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases, Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\), Metric propositional neighborhood logic with an equivalence relation, Interval temporal logics over strongly discrete linear orders: expressiveness and complexity, Reactive synthesis from interval temporal logic specifications, The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT, On coarser interval temporal logics, Why Systems of Temporal Logic Are Sometimes (Un)useful?, Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations, On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders