Applied Logic Series - Advances in Temporal Logic
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Netherlands

9789048153893, 9789401595865
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Release Logics for Temporalizing Dynamic Logic

2000 ◽  
pp. 21-45 ◽  
Author(s):  
Jeroen Krabbendam ◽  
John-Jules Meyer
Keyword(s):  
Dynamic Logic

scholarly journals Execution and Proof in a Horn-Clause Temporal Logic

2000 ◽  
pp. 413-433 ◽  
Author(s):  
Clare Dixon ◽  
Michael Fisher ◽  
Mark Reynolds
Keyword(s):  
Temporal Logic ◽  
Horn Clause

Determinism and the Origins of Temporal Logic

2000 ◽  
pp. 185-206 ◽  
Author(s):  
Torben Braüner ◽  
Per Hasle ◽  
Peter Øhstrøm
Keyword(s):  
Temporal Logic

scholarly journals A Hierarchy of Modal Event Calculi: Expressiveness and Complexity

2000 ◽  
pp. 1-20 ◽  
Author(s):  
Iliano Cervesato ◽  
Massimo Franceschet ◽  
Angelo Montanari

Guiding Clausal Temporal Resolution

2000 ◽  
pp. 167-184 ◽  
Author(s):  
Michael Fisher ◽  
Clare Dixon
Keyword(s):  
Temporal Resolution

Decidable Theories of ω-Layered Metric Temporal Structures

2000 ◽  
pp. 91-108
Author(s):  
Angelo Montanari ◽  
Adriano Peron ◽  
Alberto Policriti
Keyword(s):  
Temporal Structures ◽  
Decidable Theories

Temporal Logic for Stabilizing Systems

2000 ◽  
pp. 71-90
Author(s):  
Yassine Lakhnech ◽  
Michael Siegel
Keyword(s):  
Temporal Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document