Guards, Bounds, and generalized semantics

Abstract
Some initial motivations for the Guarded Fragment still seem of interest in carrying its program further. First, we stress the equivalence between two perspectives: (a) satisfiability on standard models for guarded first-order formulas, and (b) satisfiability on general assignment models for arbitrary first-order formulas. In particular, we give a new straightforward reduction from the former notion to the latter. We also show how a perspective shift to general assignment models provides a new look at the fixed-point extension LFP(FO) of first-order logic, making it decidable. Next, we relate guarded syntax to earlier quantifier restriction strategies for achieving effective axiomatizability in second-order logic – pointing at analogies with ‘persistent’ formulas, which are essentially in the Bounded Fragment of many-sorted first-order logic. Finally, we look at some further unexplored directions, including the systematic use of ‘quasi-models’ as a semantics by itself.
Keywords Philosophy   Logic   Artificial Intelligence   Semantics
Categories (categorize this paper)
DOI 10.1007/s10849-005-5786-y
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 25,071
Through your library
References found in this work BETA
Exploring Logical Dynamics.Johan van Benthem - 2001 - Studia Logica 67 (1):111-114.
Multi-Dimensional Modal Logic.Maarten Marx - 1997 - Kluwer Academic Publishers.
On the Restraining Power of Guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.
Modal Logic and Classical Logic.J. F. A. K. van Benthem - 1983 - Distributed in the U.S.A. By Humanities Press.
Pragmatics and Intensional Logic.Richard Montague - 1970 - Synthese 22 (1-2):68--94.

View all 11 references / Add more references

Citations of this work BETA
Toward Discourse Representation Via Pregroup Grammars.Anne Preller - 2007 - Journal of Logic, Language and Information 16 (2):173-194.

Add more citations

Similar books and articles
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
An Event-Based Fragment of First-Order Logic Over Intervals.Savas Konur - 2010 - Journal of Logic, Language and Information 20 (1):49-68.
Guarded Fragments with Constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic, Language and Information 14 (3):281-288.
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.
Guarded Fragments with Constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic 14 (3):281-288.
On the Restraining Power of Guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.

Monthly downloads

Added to index

2009-01-28

Total downloads

31 ( #157,264 of 2,132,352 )

Recent downloads (6 months)

2 ( #289,567 of 2,132,352 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums