We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: LTL with Local and Remote Data Constraints

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.
Comments: 31 pages; Masters' Thesis, Chennai Mathematical Institute
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
ACM classes: F.4.1
Cite as: arXiv:2206.01692 [cs.LO]
  (or arXiv:2206.01692v1 [cs.LO] for this version)

Submission history

From: Ashwin Bhaskar [view email]
[v1] Mon, 30 May 2022 06:37:43 GMT (16kb)

Link back to: arXiv, form interface, contact.