The Complexity of Temporal Logic over the Reals
Logic in Computer Science
2007-05-23 v1 Computational Complexity
Authors:
M. Reynolds
Abstract
It is shown that the decision problem for the temporal logic with until and since connectives over real-numbers time is PSPACE-complete.
Cite
@article{arxiv.cs/9910012,
title = {The Complexity of Temporal Logic over the Reals},
author = {M. Reynolds},
journal= {arXiv preprint arXiv:cs/9910012},
year = {2007}
}
Related papers
View all related →
Logic in Computer Science · Computer Science
The complexity of linear-time temporal logic over the class of ordinals
Stephane Demri, Alexander Rabinovich
2015-07-01
Logic · Mathematics
Temporal Logic of Minkowski Spacetime
Robin Hirsch, Brett McLean
2022-06-15
Logic · Mathematics
Complexity of the interpretability logic IL
Luka Mikec, Fedor Pakhomov, Mladen Vuković
2018-04-09
Logic in Computer Science · Computer Science
The Complexity of Generalized Satisfiability for Linear Temporal Logic
Michael Bauland, Thomas Schneider, Henning Schnoor, Ilka Schnoor +1
2015-07-01
Logic · Mathematics
The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable
Robin Hirsch, Brett McLean
2020-09-29
Logic · Mathematics
The Temporal Logic of two dimensional Minkowski spacetime is decidable
Robin Hirsch, Mark Reynolds
2017-06-13
Logic in Computer Science · Computer Science
The Completeness Problem for Modal Logic
Antonis Achilleos
2017-09-20
Artificial Intelligence · Computer Science
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity
D. Gabelaia, R. Kontchakov, A. Kurucz, F. Wolter +1
2011-10-13
Logic in Computer Science · Computer Science
Time and G\"odel: Fuzzy temporal reasoning in PSPACE
Juan Pablo Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean
2023-01-30
Logic in Computer Science · Computer Science
Cycle Detection in Computation Tree Logic
Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli +1
2016-09-15
Logic in Computer Science · Computer Science
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2021-09-20
Logic in Computer Science · Computer Science
Extended Computation Tree Logic
Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange +1
2015-05-19
Logic in Computer Science · Computer Science
Complexity of Propositional Logics in Team Semantics
Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer
2017-01-06
Computational Complexity · Computer Science
On the Complexity of Elementary Modal Logics
Edith Hemaspaandra, Henning Schnoor
2008-02-14
Logic in Computer Science · Computer Science
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete
Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya
2023-09-04
Logic in Computer Science · Computer Science
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron +1
2023-06-22
Logic in Computer Science · Computer Science
Real-time and Probabilistic Temporal Logics: An Overview
Savas Konur
2013-08-06
Logic in Computer Science · Computer Science
On the Complexity of Dynamic Epistemic Logic
Guillaume Aucher, Francois Schwarzentruber
2013-10-29
Logic in Computer Science · Computer Science
Temporal Logics Over Finite Traces with Uncertainty (Technical Report)
Fabrizio M. Maggi, Marco Montali, Rafael Peñaloza
2019-11-19
Data Structures and Algorithms · Computer Science
Dynamic Controllability of Conditional Simple Temporal Networks is PSPACE-complete
Massimo Cairo, Romeo Rizzi
2016-08-31
Logic in Computer Science · Computer Science
PSPACE Reasoning for Graded Modal Logics
Stephan Tobies
2007-05-23
Logic in Computer Science · Computer Science
A Team Based Variant of CTL
Andreas Krebs, Arne Meier, Jonni Virtema
2015-07-15
Logic in Computer Science · Computer Science
A Temporal Logic for Hyperproperties
Bernd Finkbeiner, Markus N. Rabe, César Sánchez
2013-07-01
Logic in Computer Science · Computer Science
Intransitive Linear Temporal Logic, Knowledge from Past, Decidability, Admissible Rules
Vladimir Rybakov
2015-03-31
Logic in Computer Science · Computer Science
On complexity of propositional Linear-time Temporal Logic with finitely many variables
Mikhail Rybakov, Dmitry Shkatov
2018-11-27