Results 311 to 320 of about 93,973 (331)

Temporal Logic

1992
Zohar Manna, Amir Pnueli
openaire   +1 more source

A Road Map of Interval Temporal Logics and Duration Calculi

Journal of Applied Non-Classical Logics, 2004
Valentin Goranko, Angelo Montanari, Guido Sciavicco   +2 more
exaly  

Temporal Logic

2018
openaire   +1 more source

Temporal Logics of Knowledge and their Applications in Security

Electronic Notes in Theoretical Computer Science, 2007
Clare Dixon, Michael Fisher, Wiebe Van Der Hoek   +2 more
exaly  

Event calculus and temporal action logics compared

Artificial Intelligence, 2006
Erik T Mueller
exaly  

Temporal Logics

2022
openaire   +1 more source

Pure future local temporal logics are expressively complete for Mazurkiewicz traces

Information and Computation, 2006
Volker Diekert, Paul Gastin
exaly  

Temporal Logic

2007
openaire   +1 more source

Temporal logics for real-time system specification

ACM Computing Surveys, 2000
exaly  

Relational dual tableaux for interval temporal logics ★

Journal of Applied Non-Classical Logics, 2006
Davide Bresolin, Joanna Golińska-Pilarek, Ewa Orlowska   +2 more
exaly