Results 301 to 310 of about 93,973 (331)

Temporal Logic

Hantao Zhang, Jian Zhang
openaire   +2 more sources

Temporal Logic

2019
Jiacun Wang, William Tepfenhart
openaire   +1 more source

Temporal Logic.

The Philosophical Quarterly, 1972
Kit Fine, Nicholas Rescher, Alasdair Urquhart   +2 more
openaire   +1 more source

A survey on temporal logics for specifying and verifying real-time systems

Frontiers of Computer Science, 2013
Savas Konur
exaly  

Temporal Logic

1971
Nicholas Rescher, Alasdair Urquhart
openaire   +1 more source

Comments on temporal logics for real-time system specification

ACM Computing Surveys, 2009
Matteo Pradella
exaly  

A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief

Journal of Applied Non-Classical Logics, 1998
Michael Wooldridge, Clare Dixon, Michael Fisher   +2 more
exaly  

Model-checking Timed Temporal Logics

Electronic Notes in Theoretical Computer Science, 2009
Patricia Bouyer
exaly  

Temporal Logic

1991
Tamás Gergely, László Úry
openaire   +1 more source

Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity

Theoretical Computer Science, 2014
Davide Bresolin, Dario Della Monica, Angelo Montanari   +2 more
exaly