✦ LIBER ✦

The power of the “always” operator in first-order temporal logic

✍ Scribed by Michael Kaminski; Chung Kei Wong

Book ID: 107948857
Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 852 KB
Volume: 160
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(95)00108-5

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

Concerning the semantic consequence rela

Concerning the semantic consequence relation in first-order temporal logic

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

The Relative Expressive Power of Some Lo

The Relative Expressive Power of Some Logics Extending First-Order Logic

✍ John Cowles 📂 Article 📅 1979 🏛 Association for Symbolic Logic 🌐 English ⚖ 408 KB

A Decision Procedure for Nonperiodic Seq

A Decision Procedure for Nonperiodic Sequents of the First-Order Linear Temporal Logic

✍ R. Pliuškevičius 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 152 KB

The expressibility of first order dynami

The expressibility of first order dynamic logic

✍ Bin Fu; Qiongzhang Li 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 327 KB

On the First-Order Logic of Terms

✍ Lars Svenonius 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 294 KB