𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Temporal logic CTL + PROLOG

✍ Scribed by Tong Gao Tang

Publisher
Springer Netherlands
Year
1989
Tongue
English
Weight
631 KB
Volume
5
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A logical reconstruction of Prolog II
A logical reconstruction of Prolog II
✍ M.H. van Emden; J.W. Lloyd πŸ“‚ Article πŸ“… 1984 πŸ› Elsevier Science 🌐 English βš– 447 KB
A logical approach to A-Prolog
A logical approach to A-Prolog
✍ Mauricio Osorio; Juan Antonio Navarro; JosΓ© Arrazola πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 758 KB
Adequate Sets of Temporal Connectives in
Adequate Sets of Temporal Connectives in CTL
✍ Alan Martin πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 252 KB

An adequate set of temporal connectives for CTL is a subset of the logic's temporal connectives that is sufficient to express equivalents for all CTL formulas. In this paper, a characterization of all such adequate sets is presented. Specifically, it is shown that a subset of CTL's temporal connect

Executable Temporal Logic Systems
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