𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Investigations on Fragments of First Order Branching Temporal Logic

✍ Scribed by Franco Montagna; G. Michele Pinna; B. P. Tiezzi

Publisher
John Wiley and Sons
Year
2002
Tongue
English
Weight
195 KB
Volume
48
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

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

On the expressivity and complexity of qu
On the expressivity and complexity of quantitative branching-time temporal logics
✍ F. Laroussinie; Ph. Schnoebelen; M. Turuani πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 347 KB

We investigate extensions of CTL allowing to express quantitative requirements about an abstract notion of time in a simple discrete-time framework, and study the expressive power of several relevant logics. When only subscripted modalities are used, polynomial-time model checking is possible even

On the consistency of rule bases based o
On the consistency of rule bases based on lattice-valued first-order logic LF(X)
✍ Yang Xu; Jun Liu; Da Ruan; Tsu-Tian Lee πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 209 KB πŸ‘ 1 views

The consistency of a rule base is an essential issue for rule-based intelligent information processing. Due to the uncertainty inevitably included in the rule base, it is necessary to verify the consistency of the rule base while investigating, designing, and applying a rule-based intelligent system