Results 31 to 40 of about 93,973 (331)
Representation and Reasoning about Strategic Abilities with ω-Regular Properties
Mathematics, 2021 Specification and verification of coalitional strategic abilities have been an active research area in multi-agent systems, artificial intelligence, and game theory. Recently, many strategic logics, e.g., Strategy Logic (SL) and alternating-time temporal
Liping Xiong, Sumei Guo
doaj +1 more source
Lietuvos Matematikos Rinkinys, 2013 We consider three sequent calculi for propositional linear temporal logic (PLTL) which allow us to formalize the properties of operator “always”. The main new results presented in the paper are: (1) introduction of the calculus with looping axioms; (2 ...
Romas Alonderis +1 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
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
Information and Computation, 2021 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bruse, Florian, Lange, Martin
openaire +3 more sources
A Neutral Temporal Deontic STIT Logic [PDF]
, 2019 In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead
Lyon, Tim, van Berkel, Kees
core +2 more sources
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
, 2019 We show that Branching-time temporal logics CTL and CTL*, as well as Alternating-time temporal logics ATL and ATL*, are as semantically expressive in the language with a single propositional variable as they are in the full language, i.e., with an ...
A David +30 more
core +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