✦ LIBER ✦

Omnitemporal logic and converging time

✍ Scribed by G. E. HUGHES; M. J. CRESSWELL

Book ID: 114916249
Publisher: Wiley (Blackwell Publishing)
Year: 1975
Tongue: English
Weight: 935 KB
Volume: 41
Category: Article
ISSN: 1755-2567
DOI: 10.1111/j.1755-2567.1975.tb01175.x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Non-Equivalent Formulae in one Variable

Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic

✍ David Makinson 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB

Logic and Time

✍ John P. Burgess 📂 Article 📅 1979 🏛 Association for Symbolic Logic 🌐 English ⚖ 412 KB

Logic and Time

✍ Robert S. Brumbaugh 📂 Article 📅 1965 🏛 Philosophy Education Society, Inc. 🌐 English ⚖ 964 KB

FATE, LOGIC AND TIME

📂 Article 📅 1968 🏛 John Wiley and Sons ⚖ 152 KB

Implosion-time for converging cylindrica

Implosion-time for converging cylindrical and spherical shells

✍ G. K. Srinivasan; V. D. Sharma 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 144 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