Results 51 to 60 of about 6,826 (311)
Temporal Logic as Filtering [PDF]
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016 We show that metric temporal logic (MTL) can be viewed as linear time-invariant filtering, by interpreting addition, multiplication, and their neutral elements, over the idempotent dioid (max,min,0,1). Moreover, by interpreting these operators over the field of reals (+,×,0,1), one can associate various quantitative semantics to a metric ...
Alëna Rodionova +3 more
openaire +2 more sources
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
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
CoRR, 2013 A new logic for verification of security policies is proposed. The logic, HyperLTL, extends linear-time temporal logic (LTL) with connectives for explicit and simultaneous quantification over multiple execution paths, thereby enabling HyperLTL to express information-flow security policies that LTL cannot.
Masoud Koleini +2 more
openaire +2 more sources
A cookbook for temporal conceptual data modelling with description logic
, 2014 We design temporal description logics suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on DL-Lite logics with three types of concept inclusions (ranging from atomic ...
Ryzhikov, Vladislav +4 more
core +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
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
Temporal prepositions and their logic
Artificial Intelligence, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
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