Temporal Logics in Computer Science
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Cambridge University Press

9781139236119
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Modal Mu-Calculus

2016 ◽  
pp. 271-328
Author(s):  
Stephane Demri ◽  
Valentin Goranko ◽  
Martin Lange

Basic Modal Logics

2016 ◽  
pp. 100-149
Author(s):  
Stephane Demri ◽  
Valentin Goranko ◽  
Martin Lange
Keyword(s):  
Modal Logics

References

2016 ◽  
pp. 716-736
Author(s):  
Stephane Demri ◽  
Valentin Goranko ◽  
Martin Lange

Preliminaries and Background I

2016 ◽  
pp. 17-34
Author(s):  
Stephane Demri ◽  
Valentin Goranko ◽  
Martin Lange

The Game-Theoretic Framework

2016 ◽  
pp. 625-715
Author(s):  
Stephane Demri ◽  
Valentin Goranko ◽  
Martin Lange
Keyword(s):  
Game Theoretic

Alternating-Time Temporal Logics

2016 ◽  
pp. 329-358
Author(s):  
Stephane Demri ◽  
Valentin Goranko ◽  
Martin Lange
Keyword(s):  
Temporal Logics

Linear-Time Temporal Logics

2016 ◽  
pp. 150-208
Author(s):  
Stephane Demri ◽  
Valentin Goranko ◽  
Martin Lange
Keyword(s):  
Linear Time ◽  
Temporal Logics

Branching-Time Temporal Logics

2016 ◽  
pp. 209-270
Author(s):  
Stephane Demri ◽  
Valentin Goranko ◽  
Martin Lange
Keyword(s):  
Branching Time ◽  
Temporal Logics

Tableaux-Based Decision Methods

2016 ◽  
pp. 476-542
Author(s):  
Stephane Demri ◽  
Valentin Goranko ◽  
Martin Lange
Keyword(s):  
Decision Methods

Frameworks for Decision Procedures

2016 ◽  
pp. 467-475
Author(s):  
Stephane Demri ◽  
Valentin Goranko ◽  
Martin Lange
Keyword(s):  
Decision Procedures
Load More ...
Sign in / Sign up

Export Citation Format

Share Document