DMCA
Subscription Information
by
Volume Bimonthly Full
,
Dov M. Gabbay
,
Hans Jurgen Ohlbach
,
Jon Barwise
,
Wilfrid Hodges
,
Hans Kamp
,
Robert Kowalski
,
Ewa Orlowska
,
Amir Pnueli
,
Vaughan Pratt
,
Saharon Shelah
,
Johan Van Benthem
| Citations: | 1 - 0 self |
BibTeX
@MISC{Full_subscriptioninformation,
author = {Volume Bimonthly Full and Dov M. Gabbay and Hans Jurgen Ohlbach and Jon Barwise and Wilfrid Hodges and Hans Kamp and Robert Kowalski and Ewa Orlowska and Amir Pnueli and Vaughan Pratt and Saharon Shelah and Johan Van Benthem},
title = {Subscription Information},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We use Tarski's relational calculus to construct a model of linear temporal logic. Both discrete and dense time are covered and we obtain denotational domains for a large variety of reactive systems. Keywords : Relational algebra, reactive systems, temporal algebra, temporal logic. 1
