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

Logic and Time

โœ Scribed by Robert S. Brumbaugh

Book ID
121296310
Publisher
Philosophy Education Society, Inc.
Year
1965
Tongue
English
Weight
964 KB
Volume
18
Category
Article
ISSN
0034-6632

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Logic and Time
Logic and Time
โœ John P. Burgess ๐Ÿ“‚ Article ๐Ÿ“… 1979 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 412 KB
FATE, LOGIC AND TIME
FATE, LOGIC AND TIME
๐Ÿ“‚ Article ๐Ÿ“… 1968 ๐Ÿ› John Wiley and Sons โš– 152 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

Linear logic and elementary time
Linear logic and elementary time
โœ Vincent Danos; Jean-Baptiste Joinet ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 265 KB
Omnitemporal logic and converging time
Omnitemporal logic and converging time
โœ G. E. HUGHES; M. J. CRESSWELL ๐Ÿ“‚ Article ๐Ÿ“… 1975 ๐Ÿ› Wiley (Blackwell Publishing) ๐ŸŒ English โš– 935 KB