✦ LIBER ✦

Decidable Fragments of First-Order Modal Logics

✍ Scribed by Wolter, Frank (author);Zakharyaschev, Michael (author)

Book ID: 124978763
Publisher: Cambridge University Press (CUP)
Year: 2001
Tongue: English
Weight: 492 KB
Volume: 66
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2695115

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidable Fragments of First-Order Modal

Decidable Fragments of First-Order Modal Logics

✍ Wolter, Frank (author);Zakharyaschev, Michael (author) 📂 Article 📅 2001 🏛 Cambridge University Press (CUP) 🌐 English ⚖ 492 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

Decidable first-order transition logics

Decidable first-order transition logics for PA-processes

✍ Denis Lugiez; Philippe Schnoebelen 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 481 KB

On a decidable generalized quantifier lo

On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic

✍ Natasha Alechina 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 784 KB

Superposition Decides the First-Order Lo

Superposition Decides the First-Order Logic Fragment Over Ground Theories

✍ Kruglov, Evgeny; Weidenbach, Christoph 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 410 KB

First-Order Classical Modal Logic

✍ Horacio Arló-Costa; Eric Pacuit 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 377 KB