LTL with Local and Remote Data Constraints
Logic in Computer Science
2022-06-06 v1 Formal Languages and Automata Theory
Abstract
We consider an extension of linear-time temporal logic (LTL) with both local and remote data constraints interpreted over a concrete domain. This extension is a natural extension of constraint LTL and the Temporal Logic of Repeating Values, which have been studied before. We shall use previous results to prove that the satisfiability problem for this logic is decidable. Further, we shall see that trying to extend this logic by making it more expressive can lead to undecidability.
Keywords
Cite
@article{arxiv.2206.01692,
title = {LTL with Local and Remote Data Constraints},
author = {Ashwin Bhaskar},
journal= {arXiv preprint arXiv:2206.01692},
year = {2022}
}
Comments
31 pages; Masters' Thesis, Chennai Mathematical Institute