๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The Logic of Time

โœ Scribed by BUTTERFIELD, JEREMY

Book ID
111050164
Publisher
John Wiley and Sons
Year
2009
Weight
208 KB
Volume
25
Category
Article
ISSN
0031-8051

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The temporal logic of branching time
The temporal logic of branching time
โœ Mordechai Ben-Ari; Amir Pnueli; Zohar Manna ๐Ÿ“‚ Article ๐Ÿ“… 1983 ๐Ÿ› Springer-Verlag ๐ŸŒ English โš– 948 KB
Logic and Time
Logic and Time
โœ John P. Burgess ๐Ÿ“‚ Article ๐Ÿ“… 1979 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 412 KB
Logic and Time
Logic and Time
โœ Robert S. Brumbaugh ๐Ÿ“‚ Article ๐Ÿ“… 1965 ๐Ÿ› Philosophy Education Society, Inc. ๐ŸŒ English โš– 964 KB
Time-extraction for temporal logic-logic
Time-extraction for temporal logic-logic programming and local process time
โœ Takashi Hattori ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 783 KB

Temporal logic is useful to describe a variety of computer systems such as operating systems and real-time process control systems, where explicit treatment of time plays an essential role. In the logic, the notion of time is represented by a sequence of states at each point in time, which is called