1 GUARDS , BOUNDS , AND GENERALIZED SEMANTICS

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 firstorder 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 the purpose of 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. 1 Basics of the Guarded Fragment 1.1 Guarded syntax The Guarded Fragment of Andréka, van Benthem & Németi 1998 is a decidable part of first-order syntax with a semantic philosophy: quantifiers only access the total domain of individual objects 'locally' by means of predicates over objects. But there is more to the motivation and ambitions of guarding, as will be shown in this paper. But first, we make a quick tour of some known results and proof methods. Here are some syntactic preliminaries. In what follows, mostly for convenience, we consider only languages with predicate symbols and variables: no function symbols or identity predicates occur. But we do allow so-called polyadic first-order quantifiers x , x over tuples of variables x, with their obvious interpretation. Finally, we also use polyadic notations [u/y] for simultaneous substitutions. These are taken in the standard syntactic sense that the substitution is performed provided the u are free for the y. If not, some suitable alphabetic variant is taken first for . Our key idea is that objects y can only be introduced relative to given objects x, as expressed by a 'guard atom' G(x, y) where objects can occur in any order and multiplicity – and that the subsequent statement refers only to those guarded x, y.

[1]  István Németi,et al.  Cylindric-relativised set algebras have strong amalgamation , 1985, Journal of Symbolic Logic.

[2]  G. Kerdiles,et al.  Saying It with Pictures: a logical landscape of conceptual graphs , 2001 .

[3]  The decidability of guarded fixed point logic , 1999 .

[4]  Maarten de Rijke,et al.  Generalized quantifiers and modal logic , 1993, J. Log. Lang. Inf..

[5]  B. T. Cate,et al.  Model theory for extended modal languages , 2005 .

[6]  Maarten Marx,et al.  Tolerance Logic , 2001, J. Log. Lang. Inf..

[7]  Johan van Benthem,et al.  Exploring logical dynamics , 1996, Studies in logic, language and information.

[8]  István Németi A fine-structure analysis of first-order logic , 1997 .

[9]  J.F.A.K. van Benthem,et al.  Modal logic and classical logic , 1983 .

[10]  Johan van Benthem,et al.  Modal Languages and Bounded Fragments of Predicate Logic , 1998, J. Philos. Log..

[11]  Solomon Feferman,et al.  Persistent and invariant formulas for outer extensions , 1968 .

[12]  Maarten Marx,et al.  Interpolation and Definability in Guarded Fragments , 2002, Stud Logica.

[13]  J.F.A.K. van Benthem Complexity of Contents versus Complexity of Wrappings , 1996 .

[14]  Erich Grädel,et al.  On the Restraining Power of Guards , 1999, Journal of Symbolic Logic.

[15]  Maarten Marx,et al.  Multi-dimensional modal logic , 1997, Applied logic series.

[16]  Ian M. Hodkinson,et al.  Finite algebras of relations are representable on finite sets , 1999, Journal of Symbolic Logic.

[17]  Richard Montague,et al.  Pragmatics and intensional logic , 1970, Synthese.

[18]  Maarten Marx,et al.  Beth Definability for the Guarded Fragment , 1999, LPAR.

[19]  Johan van Benthem,et al.  The Range of Modal Logic , 1999, J. Appl. Non Class. Logics.