The computational complexity of hybrid temporal logics (original) (raw)
Related papers
A Road-Map on Complexity for Hybrid Logics
Lecture Notes in Computer Science, 1999
The Complexity of Propositional Linear Temporal Logics in Simple Cases
Information and Computation, 2002
Temporal Logics over Transitive States
2005
Temporal Logics with Language Parameters
Lecture Notes in Computer Science, 2021
Hybrid languages and temporal logic
Logic Journal of IGPL, 1999
Deterministic Temporal Logics and Interval Constraints
Electronic Proceedings in Theoretical Computer Science, 2017
Temporal Description Logics: A Survey
2008 15th International Symposium on Temporal Representation and Reasoning, 2008
On the complexity of Temporal Defeasible Logic
2010
Expressiveness of Hybrid Temporal Logic on Data Words
Electronic Notes in Theoretical Computer Science, 2011
On the Decidability and Complexity of Some Fragments of Metric Temporal Logic
2013
Timed Context-Free Temporal Logics
Electronic Proceedings in Theoretical Computer Science, 2018
On complexity of propositional linear-time temporal logic with finitely many variables
Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2018
A Model Checker for Interval Temporal Logic over Finite Structures
2017
The Complexity of Generalized Satisfiability for Linear Temporal Logic
Electronic Colloquium on Computational Complexity, 2006
Hybrid languages and temporal logics (full version)
Theoretical Aspects of Computing – ICTAC 2018, 2018
Complexity of metric temporal logics with counting and the Pnueli modalities
Theoretical Computer Science, 2010
Implicates and Reduction Techniques for Temporal Logics
Lecture Notes in Computer Science, 1998
A fast algorithm and lower bound for temporal reasoning
2007
Partially Punctual Metric Temporal Logic is Decidable
2014 21st International Symposium on Temporal Representation and Reasoning, 2014
Temporalising Tractable Description Logics
14th International Symposium on Temporal Representation and Reasoning (TIME'07), 2007
The complexity of symbolic model checking temporal-epistemic logics
2005
2013
On the computational complexity of decidable fragments of first-order linear temporal logics
10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings., 2003
An Overview of Temporal and Modal Logic Programming
1994
Two-sorted Point-Interval Temporal Logics
Electronic Notes in Theoretical Computer Science, 2011
Why Propositional Quantification Makes Modal and Temporal Logics on Trees Robustly Hard?
ArXiv, 2021
Formal Aspects of Computing, 2022
Interval Temporal Logics: a Journey
Valentin Goranko, Guido Sciavicco, Angelo Montanari
Taming the complexity of temporal epistemic reasoning
2009
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013