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

Logic and Time

โœ Scribed by John P. Burgess

Book ID
118183468
Publisher
Association for Symbolic Logic
Year
1979
Tongue
English
Weight
412 KB
Volume
44
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Logic and Time
Logic and Time
โœ Robert S. Brumbaugh ๐Ÿ“‚ Article ๐Ÿ“… 1965 ๐Ÿ› Philosophy Education Society, Inc. ๐ŸŒ English โš– 964 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