The complexity of temporal logic over the reals
type: Item
instance of: scholarly article
title: The complexity of temporal logic over the reals
zbMATH Open document ID: 1235.03052
published in: Annals of Pure and Applied Logic
publication date: 2011-08-26T00:00:00Z
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68Q17
zbMATH DE Number: 5943639
zbMATH Keywords: temporal logic
zbMATH Keywords: decision problem
zbMATH Keywords: PSPACE-completeness
author: Mark Alexander Reynolds
MaRDI profile type: Publication
full work available at URL: j.apal.2010.01.002
OpenAlex ID: W2031528374
cites work: Real-time logics: Complexity and expressiveness
cites work: The decision problem for linear temporal logic
cites work: An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
cites work: Q3835817
cites work: Complexity of monodic guarded fragments over linear and real time
cites work: Timer formulas and decidable metric temporal logic
cites work: A propositional modal logic of time intervals
cites work: Q3862379
cites work: On the elementary theory of linear order
cites work: Q2721205
cites work: Q4873975
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
cites work: On the decidability of continuous time specification formalisms
cites work: An axiomatization for until and since over the reals without the IRR rule
cites work: Q4475175
cites work: The complexity of the temporal logic with ``until'' over general linear time
cites work: Relationships between nondeterministic and deterministic tape complexities
cites work: The complexity of propositional linear temporal logics
cites work: Reasoning in a restricted temporal logic
DOI: 10.1016/J.APAL.2010.01.002
Recommended article: Q4636307
Recommended article: The Complexity of Temporal Logic with Until and Since over Ordinals
Recommended article: Real-time logics: Complexity and expressiveness
Recommended article: Q5419881
Recommended article: Q4824483
Recommended article: An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
Recommended article: The complexity of the temporal logic with ``until'' over general linear time
Recommended article: The complexity of propositional linear temporal logics
Recommended article: On the Complexity of Temporal Equilibrium Logic
Recommended article: Quantitative temporal logics over the reals: PSpace and below
description: scientific article; zbMATH DE number 5943639