scientific article
From MaRDI portal
Publication:3113783
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Complexity of computation (including implicit computational complexity) (03D15) Temporal logic (03B44) Turing machines and related notions (03D10) Computation over the reals, computable analysis (03D78)
Related Items (11)
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 ⋮ 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 ⋮ An interval temporal logic characterization of extended \(\omega\)-regular languages ⋮ Interval temporal logics over strongly discrete linear orders: expressiveness and complexity ⋮ The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT ⋮ Why Systems of Temporal Logic Are Sometimes (Un)useful? ⋮ Reactive synthesis from interval temporal logic specifications ⋮ On coarser interval temporal logics
This page was built for publication:
