𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Completeness of temporal logics over infinite intervals

✍ Scribed by Hanpin Wang; Qiwen Xu

Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
252 KB
Volume
136
Category
Article
ISSN
0166-218X

No coin nor oath required. For personal study only.

✦ Synopsis

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 intervals. A corresponding axiomatic system is given and proven to be complete also.

πŸ“œ SIMILAR VOLUMES

Analyzing completeness of axiomatic func
Analyzing completeness of axiomatic functional systems for temporal Γ— modal logics
✍ Alfredo Burrieza; Inmaculada P. de GuzmΓ‘n; Emilio MuΓ±oz-Velasco πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons 🌐 English βš– 196 KB πŸ‘ 1 views

## Abstract In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions (being injective