Linear-time temporal logics with Presburger constraints: an overview ★

Journal of Applied Non-Classical Logics 16 (3-4):311-347 (2006)
  Copy   BIBTEX

Abstract

We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are well-designed to specify and verify systems that can be modelled with counter systems. The paper recalls the general framework of LTL over concrete domains and presents the main decidability and complexity results related to fragments of Presburger LTL. Related formalisms are also briefly presented

Categories

Keywords

Reprint years

DOI

10.3166/jancl.16.311-347

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
Presburger sets and p-minimal fields.Raf Cluckers - 2003 - Journal of Symbolic Logic 68 (1):153-162.
Decidability and incompleteness results for first-order temporal logics of linear time.Stephan Merz - 1992 - Journal of Applied Non-Classical Logics 2 (2):139-156.
Model-checking CTL* over flat Presburger counter systems.Stéphane Demri, Alain Finkel, Valentin Goranko & Govert van Drimmelen - 2010 - Journal of Applied Non-Classical Logics 20 (4):313-344.
Discrete linear temporal logic with current time point clusters, deciding algorithms.V. Rybakov - 2008 - Logic and Logical Philosophy 17 (1-2):143-161.
Comparing semantics of logics for multi-agent systems.Valentin Goranko & Wojciech Jamroga - 2004 - Synthese 139 (2):241 - 280.
A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time.Alfredo Burrieza & Inma P. De Guzmán - 1992 - Journal of Applied Non-Classical Logics 2 (2):181-200.
Decidability Results for Metric and Layered Temporal Logics.Angelo Montanari & Alberto Policriti - 1996 - Notre Dame Journal of Formal Logic 37 (2):260-282.
Synchronization of logics.Amílcar Sernadas, Cristina Sernadas & Carlos Caleiro - 1997 - Studia Logica 59 (2):217-247.
A note on definability in fragments of arithmetic with free unary predicates.Stanislav O. Speranski - 2013 - Archive for Mathematical Logic 52 (5-6):507-516.
Temporal equilibrium logic: a survey.Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez & Concepción Vidal - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):2-24.
Complete axiomatizations for reasoning about knowledge and branching time.Ron van der Meyden & Ka-shu Wong - 2003 - Studia Logica 75 (1):93 - 123.
Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.
Axiomatising first-order temporal logic: Until and since over linear time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.

Analytics

Added to PP
2013-11-24

Downloads
40 (#396,692)

6 months
9 (#302,300)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

In so many possible worlds.Kit Fine - 1972 - Notre Dame Journal of Formal Logic 13 (4):516-520.
From local to global consistency.Rina Dechter - 1992 - Artificial Intelligence 55 (1):87-107.

View all 8 references / Add more references