Opening book details…
Can I read Axiomatizing the Monodic Fragment of First-order Temporal Logic on EtoBox?
Axiomatizing the Monodic Fragment of First-order Temporal Logic by Frank Wolter; Michael Zakharyaschev is a Computer Science article available to read on EtoBox.
What is Axiomatizing the Monodic Fragment of First-order Temporal Logic about?
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 axiomatization. We also show that the monodic fragment with equality is not recursively axiomatizable.
Who reads Axiomatizing the Monodic Fragment of First-order Temporal Logic?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Frank Wolter; Michael Zakharyaschev
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV (ISSN 0168-0072)
- Published
- 2002
- Language
- EN
- Field
- Computer Science (Physical Sciences)