𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Temporal Logic for Supporting Historical Databases

✍ Scribed by Shichao Zhang

Publisher
Springer-Verlag
Year
2000
Tongue
English
Weight
149 KB
Volume
2
Category
Article
ISSN
0219-1377

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Temporal Semantics for Basic Logic
A Temporal Semantics for Basic Logic
✍ Stefano Aguzzoli; Matteo Bianchi; Vincenzo Marra πŸ“‚ Article πŸ“… 2009 πŸ› Springer Netherlands 🌐 English βš– 259 KB
A two-level temporal logic for evolving
A two-level temporal logic for evolving specifications
✍ P.Y. Schobbens; G. Saake; A. Sernadas; C. Sernadas πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 70 KB

Traditional information system specifications are fixed: the rules of the system are frozen at specification time. In practice, most systems have to change their rules in unexpected ways during their lifetime. We present here a simple variant of a temporal logic that deals with specification evoluti