𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Arithmetical axiomatization of first-order temporal logic

✍ Scribed by Andrzej Szalas

Book ID
113163000
Publisher
Elsevier Science
Year
1987
Tongue
English
Weight
332 KB
Volume
26
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Axiomatizing the monodic fragment of fir
Axiomatizing the monodic fragment of first-order temporal logic
✍ Frank Wolter; Michael Zakharyaschev πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 141 KB

It is known that even seemingly small fragments of the ΓΏrst-order temporal logic over the natural numbers are not recursively enumerable. In this paper we show that the monodic (not monadic, where this result does not hold) fragment is an exception by constructing its ΓΏnite Hilbert-style axiomatizat

An arithmetical view to first-order logi
An arithmetical view to first-order logic
✍ Seyed Mohammad Bagheri; Bruno Poizat; Massoud Pourmahdian πŸ“‚ Article πŸ“… 2010 πŸ› Elsevier Science 🌐 English βš– 630 KB
Decidable fragments of first-order tempo
Decidable fragments of first-order temporal logics
✍ Ian Hodkinson; Frank Wolter; Michael Zakharyaschev πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 342 KB

In this paper, we introduce a new fragment of the ΓΏrst-order temporal language, called the monodic fragment, in which all formulas beginning with a temporal operator (Since or Until) have at most one free variable. We show that the satisΓΏability problem for monodic formulas in various linear time st