Results 181 to 190 of about 1,696,138 (202)
Some of the next articles are maybe not open access.
ACM Transactions on Programming Languages and Systems, 1994
The temporal logic of actions (TLA) is a logic for specifying and reasoning about concurrent systems. Systems and their properties are represented in the same logic, so the assertion that a system meets its specification and the assertion that one system implements another are both expressed by logical implication.
openaire +2 more sources
The temporal logic of actions (TLA) is a logic for specifying and reasoning about concurrent systems. Systems and their properties are represented in the same logic, so the assertion that a system meets its specification and the assertion that one system implements another are both expressed by logical implication.
openaire +2 more sources
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
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
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
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
Possibilistic Fuzzy Linear Temporal Logic and Its Model Checking
IEEE Transactions on Fuzzy Systems, 2021Li Yongming
exaly
Temporal logics for real-time system specification
ACM Computing Surveys, 2000Pierfrancesco Bellini, Paolo Nesi
exaly
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science, 2013Savas Konur
exaly
STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems
International Journal of Robotics Research, 2020Yiannis Kantaros, Michael Zavlanos
exaly
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence, 2000Alessandro Artale, Enrico Franconi
exaly
Adding a temporal dimension to a logic system
Journal of Logic, Language and Information, 1992Marcelo Finger, Dov M Gabbay
exaly