Results 31 to 40 of about 92,710 (270)
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
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption [PDF]
Logical Methods in Computer Science, 2022 The expressive power of interval temporal logics (ITLs) makes them one of the most natural choices in a number of application domains, ranging from the specification and verification of complex reactive systems to automated planning.
Laura Bozzelli +4 more
doaj +1 more source
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
Rich Counter-Examples for Temporal-Epistemic Logic Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Model checking verifies that a model of a system satisfies a given property, and otherwise produces a counter-example explaining the violation. The verified properties are formally expressed in temporal logics.
Simon Busard, Charles Pecheur
doaj +1 more source
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability [PDF]
, 2007 This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees.
Goranko, Valentin, Zanardo, Alberto
core +1 more source
A derivation-loop method for temporal logic
Lietuvos Matematikos Rinkinys, 2019 Various types of calculi (Hilbert, Gentzen sequent, resolution calculi, tableaux) for propositional linear temporal logic (PLTL) have been considered in the literature.
Romas Alonderis, Haroldas Giedra
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
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
On Quantified Modal Theorem Proving for Modeling Ethics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In the last decade, formal logics have been used to model a wide range of ethical theories and principles with the goal of using these models within autonomous systems.
Naveen Sundar Govindarajulu +2 more
doaj +1 more source
On the New and the Novel: An Adventure in the Temporal Logics
Eidos. A Journal for Philosophy of Culture, 2021 This paper is an adventure of ideas. More specifically, it is a continuation of the adventure of ideas concerning the relations between creativity and logic at the level of being one finds in the work of Whitehead and his interpreters/inheritors.
Matthew Z. Donnelly
doaj +1 more source