Results 71 to 80 of about 1,696,138 (202)
On regular temporal logics with past [PDF]
Acta Informatica, 2009 The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL and the closely related SystemVerilog Assertions, SVA for short, are increasingly used in many phases of the hardware design cycle, from specification to verification.
Dax, Christian +2 more
openaire +5 more sources
Temporal logic for social networks
Journal of Logic and Computation, 2022 Abstract This paper introduces a logic with a class of social network models that is based on standard Linear Temporal Logic, which allows for leveraging the power of existing model checkers for the analysis of social networks. We provide a short literature overview, and then define our logic and its axiomatization, present some simple ...
Vitor Machado, Mario R. F. Benevides
openaire +2 more sources
Proof methods for Interval Temporal Logics
, 2007 Propositional interval temporal logics are quite expressive temporal logics that provide a natural framework for representing and reasoning about temporal properties in several areas of computer science.
BRESOLIN, Davide
core +2 more sources
On the Complexity of Temporal Equilibrium Logic [PDF]
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015 Temporal Equilibrium Logic (TEL) is a promising framework that extends the knowledge representation and reasoning capabilities of Answer Set Programming with temporal operators in the style of LTL. To our knowledge it is the first nonmonotonic logic that accommodates fully the syntax of a standard temporal logic (specifically LTL) without requiring ...
Laura Bozzelli, David Pearce 0001
openaire +2 more sources
Tractable interval temporal propositional and description logics [PDF]
, 2015 We design a tractable Horn fragment of the Halpern-Shaham temporal logic and extend it to interval-based temporal description logics, instance checking in which is P-complete for both combined and data ...
Ryzhikov, Vladislav +3 more
core +3 more sources
Studies in Logic, Grammar and RhetoricThe paper presents a comparison of two generalised sequent calculi for temporal logics. In both cases the main technical solution is the multiplication of the sorts of sequents and, additionally, the application of some kind of labelling to formulae. The
Indrzejczak Andrzej
doaj +1 more source
Propositional Interval Temporal Logics: Some Promising Paths
, 2005 In this paper we focus our attention on the problem of finding propositional interval temporal logics which are expressive enough to express meaningful statements about time intervals and ...
MONTANARI, Angelo, A. Montanari
core +1 more source
Temporal Logics for Hyperproperties [PDF]
, 2014 Two new logics for verification of hyperproperties are proposed. Hyperproperties characterize security policies, such as noninterference, as a property of sets of computation paths. Standard temporal logics such as LTL, CTL, and CTL* can refer only to a single path at a time, hence cannot express many hyperproperties of interest.
Michael R. Clarkson +5 more
openaire +3 more sources
Temporal logic programs with variables [PDF]
Theory and Practice of Logic Programming, 2016 AbstractIn this note, we consider the problem of introducing variables in temporal logic programs under the formalism of Temporal Equilibrium Logic, an extension of Answer Set Programming for dealing with linear-time modal operators. To this aim, we provide a definition of a first-order version of Temporal Equilibrium Logic that shares the syntax of ...
Felicidad Aguado +4 more
openaire +4 more sources
Hardware implementation of temporal nonmonotonic logics
, 2006 In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal operators and (2) a mapping of these new temporal nonmonotonic logics into a Metric ...
Governatori, Guido +6 more
core +1 more source