Results 291 to 300 of about 71,357 (311)

An Unusual Temporal Logic

2013
Kamp’s theorem states that the temporal logic with modalities Until and Since has the same expressive power as the First-Order Monadic Logic of Order (FOMLO) over Real and Natural time flows. Kamp notes that there are expressions which deserve to be regarded as tense operators but are not representable within FOMLO. The words ‘mostly’ and ‘usually’ are
openaire   +1 more source

Temporal logics for CCS

1989
Transition systems are focal structures in the study of concurrent systems. On the one hand they are used for defining operational semantics of such systems. And on the other hand they are fundamental structures for interpreting modal and temporal logics.
openaire   +1 more source

Possibilistic Fuzzy Linear Temporal Logic and Its Model Checking

IEEE Transactions on Fuzzy Systems, 2021
Yongming Li
exaly  

A Calculational Deductive System for Linear Temporal Logic

ACM Computing Surveys, 2020
J Stanley Warford
exaly  

STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems

International Journal of Robotics Research, 2020
Yiannis Kantaros, Michael M Zavlanos
exaly  

Temporal logic motion planning for dynamic robots

Automatica, 2009
Georgios Fainekos, Antoine Girard, Hadas Kress-Gazit   +2 more
exaly  

Adding a temporal dimension to a logic system

Journal of Logic, Language and Information, 1992
Marcelo Finger, Gabbay Dov M
exaly  

A really temporal logic

Journal of the ACM, 1994
Rajeev Alur, Thomas A Henzinger, Alurrajeev   +2 more
exaly  

Querying ATSQL databases with temporal logic

ACM Transactions on Database Systems, 2001
Jan Chomicki, Michael H Bohlen
exaly  

Fuzzy Branching Temporal Logic

IEEE Transactions on Systems, Man, and Cybernetics, 2004
Doheon Lee, Kwang H Lee
exaly