Results 51 to 60 of about 1,696,138 (202)
Cut, invariant rule, and loop-check free sequent calculus for PLTL
Lietuvos Matematikos Rinkinys, 2011 In this paper, some loop-check free saturation-like decision procedure is proposed for propositional linear temporal logic (PLTL) with temporal operators “next” and “always”.
Romas Alonderis +1 more
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
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
Maximal traces and path-based coalgebraic temporal logics
, 2011 This paper gives a general coalgebraic account of temporal logics whose semantics involves a notion of computation path. Examples of such logics include the logic CTL* for transition systems and the logic PCTL for probabilistic transition systems.
Cirstea, Corina, Corina Cîrstea
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
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
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership [PDF]
Logical Methods in Computer Science, 2020 We study two extensions of FO2[
Andreas Krebs +3 more
doaj +1 more source
RoboticsThis study focuses on addressing the problem of motion planning within workspaces cluttered with obstacles while considering temporal and input constraints.
Fotios C. Tolis +4 more
doaj +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
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