Guarded fragments with constants

&
Journal of Logic 14 (3):281-288 (2005)
  Copy   BIBTEX

Abstract

We prove ExpTime-membership of the satisfiability problem for loosely ∀-guarded first-order formulas with a bounded number of variables and an unbounded number of constants. Guarded fragments with constants are interesting by themselves and because of their connection to hybrid logic.

Categories

Keywords

Reprint years

DOI

10.1007/s10849-005-5787-x

Other Versions

original Cate, Balder ten; Franceschet, Massimo (2005) "Guarded fragments with constants". Journal of Logic, Language and Information 14(3):281-288

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,302

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Guarded fragments with constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic, Language and Information 14 (3):281-288.
On the restraining power of guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.
The guarded fragment with transitive guards.Wiesław Szwast & Lidia Tendera - 2004 - Annals of Pure and Applied Logic 128 (1-3):227-276.
Complexity of monodic guarded fragments over linear and real time.Ian Hodkinson - 2006 - Annals of Pure and Applied Logic 138 (1):94-125.
Loosely guarded fragment of first-order logic has the finite model property.Ian Hodkinson - 2002 - Studia Logica 70 (2):205 - 240.
Guards, Bounds, and generalized semantics.Johan van Benthem - 2005 - Journal of Logic, Language and Information 14 (3):263-279.
Deciding regular grammar logics with converse through first-order logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.
Guards, Bounds, and Generalized Semantics.Johan Benthem - 2005 - Journal of Logic, Language and Information 14 (3):263-279.
Interpolation and definability in guarded fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373 - 409.
A guarded fragment for abstract state machines.Antje Nowack - 2005 - Journal of Logic, Language and Information 14 (3):345-368.

Analytics

Added to PP
2009-01-28

Downloads
52 (#437,458)

6 months
1 (#1,572,794)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Guarded fragments with constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic 14 (3):281-288.
Guarded fragments with constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic, Language and Information 14 (3):281-288.

Add more citations

References found in this work

On the restraining power of guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.
The classical decision problem.Egon Boerger - 1997 - New York: Springer. Edited by Erich Grädel & Yuri Gurevich.
Interpolation for extended modal languages.Balder ten Cate - 2005 - Journal of Symbolic Logic 70 (1):223-234.

View all 8 references / Add more references