✦ LIBER ✦

Guarded Fragments with Constants

✍ Scribed by Balder ten Cate; Massimo Franceschet

Book ID: 106389633
Publisher: Springer Netherlands
Year: 2005
Tongue: English
Weight: 136 KB
Volume: 14
Category: Article
ISSN: 0925-8531
DOI: 10.1007/s10849-005-5787-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The guarded fragment with transitive gua

The guarded fragment with transitive guards

✍ Wiesław Szwast; Lidia Tendera 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 522 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

Complexity of monodic guarded fragments

Complexity of monodic guarded fragments over linear and real time

✍ Ian Hodkinson 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 442 KB

The Semijoin Algebra and the Guarded Fra

The Semijoin Algebra and the Guarded Fragment

✍ Dirk Leinders; Maarten Marx; Jerzy Tyszkiewicz; Jan Van den Bussche 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 233 KB

A Guarded Fragment for Abstract State Ma

A Guarded Fragment for Abstract State Machines

✍ Antje Nowack 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 1021 KB

Guarded

✍ Davison, Sara 📂 Fiction 📅 2020 🏛 Mountain Brook Ink 🌐 English ⚖ 421 KB 👁 2 views