𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The guarded fragment with transitive guards

✍ Scribed by Wiesław Szwast; Lidia Tendera

Book ID
103811374
Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
522 KB
Volume
128
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Guarded Fragments with Constants
Guarded Fragments with Constants
✍ Balder ten Cate; Massimo Franceschet 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 136 KB
Who guards the guards?
Who guards the guards?
✍ Jim Fraser 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 189 KB
Deciding the guarded fragments by resolu
Deciding the guarded fragments by resolution
✍ Hans de Nivelle; Maarten de Rijke 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 353 KB

The guarded fragment (GF) is a fragment of first-order logic that has been introduced for two main reasons: first, to explain the good computational and logical behaviour of propositional modal logics. Second, to serve as a breeding ground for well-behaved process logics. In this paper we give resol