Results 61 to 70 of about 1,696,138 (202)
Relational dual tableaux for interval temporal logics
, 2006 Interval temporal logics provide both an insight into a nature of time and a framework for temporal reasoning in various areas of computer science. In this paper we present sound and complete relational proof systems in the style of dual tableaux for ...
Joanna Golinska Pilarek +2 more
core +1 more source
Temporal prepositions and their logic
Artificial Intelligence, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
The Temporal Logic Sugar [PDF]
, 2001 Since the introduction of temporal logic for the specification of computer programs [5], usability has been an issue, because a difficult-to-use formalism is a barrier to the wide adoption of formal methods. Our solution is Sugar, the temporal logic used by the RuleBase formal verification tool [2]. Sugar adds the power of regular expressions to CTL [4]
Ilan Beer +5 more
openaire +2 more sources
La discordance des temporalités dans la justice des mineurs
La Nouvelle Revue du Travail, 2012 The article asks how temporal logics of action have evolved in the field of youth justice, a sector of public action that has experienced a whole host of changes over the past 20 years.
Ludovic Jamet
doaj +1 more source
Cut-free Calculi and Relational Semantics for Temporal STIT Logics [PDF]
, 2019 We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as
van Berkel, Kees +4 more
core +1 more source
Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We continue the investigation of parameterized extensions of Linear Temporal Logic (LTL) that retain the attractive algorithmic properties of LTL: a polynomial space model checking algorithm and a doubly-exponential time algorithm for solving games. Alur
Martin Zimmermann
doaj +1 more source
Symbolic model checking of logics with actions [PDF]
, 2006 Reasoning about agents and modalities such as knowledge and belief leads to models where different relations over states co-exist, or equivalently, where information (labels, actions) is associated to state transitions.
Raimondi, F. +4 more
core
On Temporal and Separation Logics (Invited Paper)
, 2018 There exist many success stories about the introduction of logics designed for the formal verification of computer systems. Obviously, the introduction of temporal logics to computer science has been a major step in the development of model-checking ...
Demri, Stéphane
core +1 more source
On Propositional Interval Neighborhood Temporal Logics [PDF]
, 2003 Logics for time intervals provide a natural framework for dealing with time in various areas of computer science and artificial intelligence, such as planning, natural language processing, temporal databases, and formal specification.
GORANKO +7 more
core +1 more source
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Interval temporal logics provide a general framework for temporal reasoning about interval structures over linearly ordered domains, where intervals are taken as the primitive ontological entities.
Davide Bresolin +4 more
doaj +1 more source