✦ LIBER ✦

On temporal logic S4Dbr

✍ Scribed by S. Norgėla; L. Skripkauskas

Publisher: Springer
Year: 2006
Tongue: English
Weight: 101 KB
Volume: 46
Category: Article
ISSN: 0363-1672
DOI: 10.1007/s10986-006-0020-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On temporal logic versus datalog

✍ Irène Guessarian; Eugénie Foustoucos; Theodore Andronikos; Foto Afrati 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 381 KB

On regular temporal logics with past

✍ Christian Dax; Felix Klaedtke; Martin Lange 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 392 KB

Executable Temporal Logic Systems

📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 619 KB

In this section, we present a brief introduction to five temporal logic-based programming languages: Chronolog, F-Limette, Concurrent MetateM, Tempura and Tokio. While a variety of verification systems based upon temporal logics have been produced, particularly involving model-checking techniques, t

Framed temporal logic programming

✍ Zhenhua Duan; Xiaoxiao Yang; Maciej Koutny 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 622 KB

A Projection Temporal Logic is discussed and some of its laws are given. After that, an executable temporal logic programming language, called Framed Tempura, is formalized. A minimal model-based approach for framing in temporal logic programming is presented. Since framing destroys monotonicity, ca

Temporal logic CTL + PROLOG

✍ Tong Gao Tang 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 631 KB

Temporal disjunctive logic programming

✍ Manolis Gergatsoulis; Panos Rondogiannis; Themis Panayiotopoulos 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 862 KB