𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Interval temporal logic: A note

✍ Scribed by Robert F. Barnes

Publisher
Springer Netherlands
Year
1981
Tongue
English
Weight
146 KB
Volume
10
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

A general tableau method for proposition
A general tableau method for propositional interval temporal logics: Theory and implementation
✍ V. Goranko; A. Montanari; P. Sala; G. Sciavicco πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 327 KB

In this paper, we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for

A note on unbounded metric temporal logi
A note on unbounded metric temporal logic over dense time domains
✍ Stefano Baratella; Andrea Masini πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 114 KB πŸ‘ 1 views

## Abstract We investigate the consequences of removing the infinitary axiom and rules from a previously defined proof system for a fragment of propositional metric temporal logic over dense time (see [1]). (Β© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

A logic of temporal variables
A logic of temporal variables
✍ A.G. Stothert; I.M. Macleod πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 725 KB