𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Completeness of a combination of neighbourhood logic and temporal logic

✍ Scribed by Rana Barua

Publisher
Springer
Year
2004
Tongue
English
Weight
105 KB
Volume
16
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Completeness of algorithmic logic
Completeness of algorithmic logic
✍ B. A. Trakhtenbrot πŸ“‚ Article πŸ“… 1979 πŸ› Springer US 🌐 English βš– 555 KB
Completeness of temporal logics over inf
Completeness of temporal logics over infinite intervals
✍ Hanpin Wang; Qiwen Xu πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 252 KB

Interval temporal logics over inΓΏnite intervals are studied. First, the ordinary possible worlds models are extended to inΓΏnite possible world models. Accordingly, an axiomatic system is proposed and it has been proved complete. Secondly, inΓΏnite intervals are included in a logic over abstract inter

The Completeness of Free Logic
The Completeness of Free Logic
✍ B. C. van Fraassen πŸ“‚ Article πŸ“… 1966 πŸ› John Wiley and Sons 🌐 English βš– 972 KB
A logic of temporal variables
A logic of temporal variables
✍ A.G. Stothert; I.M. Macleod πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 725 KB