✦ LIBER ✦

Axiomatizing the monodic fragment of first-order temporal logic

✍ Scribed by Frank Wolter; Michael Zakharyaschev

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 141 KB
Volume: 118
Category: Article
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(01)00124-5

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 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

Investigations on Fragments of First Ord

Investigations on Fragments of First Order Branching Temporal Logic

✍ Franco Montagna; G. Michele Pinna; B. P. Tiezzi 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 195 KB

The first axiomatization of relevant log

The first axiomatization of relevant logic

✍ Kosta Došen 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 848 KB

Axiomatization of the First-Order Interm

Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I

✍ Shin'ichi Yokota 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 370 KB

AXIOMATIZATION OF THE FIRST-ORDER INTERMEDIATE LOGICS OF BOUNDED KRIPKEAN HEIGHTS I by SHIN'ICHI YOKOTA in Tokyo (Japa.n)') ') The part 11 of this paper ronsiste of Chapter 2. The author would like to express his gratitude to Prof. H. ONO for kind correspondence on the subject, and to Mr. Y. KOMORI

Axiomatization of the First-Order Interm

Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights II

✍ Shin'Ichi Ykotota 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 451 KB

0 1991 D B C ~ ng. d wirs. AXIOMATIZATION OF THE FIRST-ORDER INTERMEDIATE LOGICS OF BOUNDED KRIPKEAN HEIGHTS I1 by SHIN'ICHI YOKOTA in Tokyo (Japan)') \*) Continuation from Part I (this Zeitschrift 35 (1989), 415-421), which consists of Chapter 1 of the present paper as well as the Acknowledgements

Concerning the semantic consequence rela

Concerning the semantic consequence relation in first-order temporal logic

✍ Andrzej Szalas 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 332 KB