Journal of Logic, Language and Information 14 (3):263-279 (2005)
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)|
References found in this work BETA
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.
Citations of this work BETA
Toward Discourse Representation Via Pregroup Grammars.Anne Preller - 2007 - Journal of Logic, Language and Information 16 (2):173-194.
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 - 2011 - Journal of Logic, Language and Information 20 (1):49-68.
Conservative Reduction Classes of Krom Formulas.Stål O. Aanderaa, Egon Börger & Harry R. Lewis - 1982 - Journal of Symbolic Logic 47 (1):110-130.
On a Decidable Generalized Quantifier Logic Corresponding to a Decidable Fragment of First-Order Logic.Natasha Alechina - 1995 - Journal of Logic, Language and Information 4 (3):177-189.
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.
Interpolation and Definability in Guarded Fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373 - 409.
Added to index2009-01-28
Total downloads32 ( #161,265 of 2,172,025 )
Recent downloads (6 months)1 ( #325,967 of 2,172,025 )
How can I increase my downloads?