A Calculational Deductive System for Linear Temporal Logic
نویسندگان
چکیده
منابع مشابه
A Tableau System for Linear Temporal Logic
We present a sound, complete and terminating tableau system for the propositional logic of linear time with only 2 and 3 as temporal operators.
متن کاملA Tableau System for Full Linear Temporal Logic
We present a sound, complete and terminating tableau system for the pro-positional logic of linear time with 2, 3, , W and U and the past operators To expand.
متن کاملa new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولA Non-Standard Temporal Deductive Database System
A new temporal deductive database system supporting a non-standard model of time is introduced. It consists of Non-standard Temporal Datalog (nstl) and Non-standard Temporal Relational Algebra (nstra). The time line consists of non-standard reals that are of the form 〈r, z〉, where r ∈ R and z ∈ Z, using the natural order. Each real r determines a macro-instant, and each pair 〈r, z〉 defines a mi...
متن کاملBackdoors for Linear Temporal Logic
In the present paper, we introduce the backdoor set approach into the field of temporal logic for the global fragment of linear temporal logic. We study the parameterized complexity of the satisfiability problem parameterized by the size of the backdoor. We distinguish between backdoor detection and evaluation of backdoors into the fragments of Horn and Krom formulas. Here we classify the opera...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Computing Surveys
سال: 2020
ISSN: 0360-0300,1557-7341
DOI: 10.1145/3387109