Logics of time and computation

Logics of time and computation
Автор
 
Год
 
Страниц
 
196
ISBN
 
ISBN10:0937073938
Издатель
 
Center for the Study of Language and Inf

Описание:

Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.

Похожие книги

Logics of time and computationLogics of time and computation
Автор: Robert Goldblatt
Год: 1992
Theoretical Aspects of Computing - ICTAC 2005, 2 confTheoretical Aspects of Computing - ICTAC 2005, 2 conf
Год: 2005
Computer Science Logic, 16 conf., CSL 2002Computer Science Logic, 16 conf., CSL 2002
Год: 2002
Logics for Concurrency - Structure versus Automata, 8 confLogics for Concurrency - Structure versus Automata, 8 conf
Год: 1996
Goal-Directed Proof TheoryGoal-Directed Proof Theory
Автор: Gabbay D., Olivetti N.
Год: 2000
Substructural Logics: A PrimerSubstructural Logics: A Primer
Автор: Paoli F.
Год: 2002