Results 21 to 30 of about 1,696,138 (202)
Model checking linear coalgebraic temporal logics: an automata-theoretic approach [PDF]
, 2011 We extend the theory of maximal traces of pointed non-deterministic coalgebras by providing an automata-based characterisation of the set of maximal traces for finite such coalgebras.
Cirstea, Corina, Corina Cîrstea
core +1 more source
The Logic of Temporal Domination [PDF]
2019 IEEE-RIVF International Conference on Computing and Communication Technologies (RIVF), 2019 In this short note, we are concerned with the fairness condition "A and B hold almost equally often", which is important for specifying and verifying the correctness of non-terminating processes and protocols. We introduce the logic of temporal domination, in which the above condition can be expressed.
openaire +2 more sources
A cookbook for temporal conceptual data modelling with description logic [PDF]
, 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
On the Expressive Power of the Normal Form for Branching-Time Temporal Logics [PDF]
, 2022 With the emerging applications that involve complex distributed systems branching-time specifications are specifically important as they reflect dynamic and non-deterministic nature of such applications.
Bolotov, Alexander, Alexander Bolotov
core +1 more source
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 +4 more sources
Dynamic Cantor Derivative Logic [PDF]
Logical Methods in Computer Science, 2023 Topological semantics for modal logic based on the Cantor derivative operator gives rise to derivative logics, also referred to as $d$-logics. Unlike logics based on the topological closure operator, $d$-logics have not previously been studied in the ...
David Fernández-Duque, Yoàv Montacute
doaj +1 more source
Reasoning about XML with temporal logics and automata [PDF]
, 2010 We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of programs Many properties of interest in the XML context are related to ...
Leonid Libkin +3 more
core +1 more source
Electronic Proceedings in Theoretical Computer Science, 2020 In Proceedings EXPRESS/SOS 2020, arXiv:2008 ...
openaire +3 more sources
Deep Learning for Temporal Logics [PDF]
, 2021 Temporal logics are a well established formal specification paradigm to specify the behavior of systems, and serve as inputs to industrial-strength verification tools.
Bernd Finkbeiner (17288470) +4 more
core +2 more sources
Polynomial Algorithm of Verication for Subset of PLTL Logic
Моделирование и анализ информационных систем, 2015 In this article a polynomial algorithm is described of verification of dynamic properties of Markov chains described by formulas of a subset of temporal logic PLTL (propositional temporal logic of linear time). The algorithm allows to find probability of
P. V. Lebedev
doaj +1 more source