Results 41 to 50 of about 6,826 (311)
A Temporal Logic for Hyperproperties
CoRR, 2013 Hyperproperties, as introduced by Clarkson and Schneider, characterize the correctness of a computer program as a condition on its set of computation paths. Standard temporal logics can only refer to a single path at a time, and therefore cannot express many hyperproperties of interest, including noninterference and other important properties in ...
Bernd Finkbeiner +2 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
Modal Logics of Topological Relations [PDF]
Logical Methods in Computer Science, 2006 Logical formalisms for reasoning about relations between spatial regions play a fundamental role in geographical information systems, spatial and constraint databases, and spatial reasoning in AI.
Carsten Lutz, Frank Wolter
doaj +1 more source
Temporal Logic and Model Checking for Operator Precedence Languages [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 In the last decades much research effort has been devoted to extending the success of model checking from the traditional field of finite state machines and various versions of temporal logics to suitable subclasses of context-free languages and ...
Michele Chiari +2 more
doaj +1 more source
, 2023 Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time.
Goranko, Valentin,
core +1 more source
Electronic Proceedings in Theoretical Computer Science, 2020 In Proceedings EXPRESS/SOS 2020, arXiv:2008 ...
openaire +2 more sources
Tailoring temporal description logics for reasoning over temporal conceptual models
, 2011 Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally extended to design temporal ...
Ryzhikov, Vladislav +8 more
core +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
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Linear Temporal Logic (LTL) is the standard specification language for reactive systems and is successfully applied in industrial settings. However, many shortcomings of LTL have been identified in the literature, among them the limited expressiveness ...
Daniel Neider +2 more
doaj +1 more source
An Interval Temporal Logic for Time Series Specification and Data Integration
Remote Sensing, 2021 The analysis of temporal series—in particular, analysis of multisensor data—is a complex problem. It depends on the application domain, the way the data have to be used, and sensors available, among other factors.
Piotr Kosiuczenko
doaj +1 more source