The Guarded Fragment: Ins and Outs

C. Areces, C. Monz, H. de Nivelle, and M. de Rijke. The Guarded Fragment: Ins and Outs. In J. Gerbrandy, M. Marx, M. de Rijke, and Y. Venema, editors, JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday, Vossiuspers, AUP, Amsterdam, 1999.

Download

[pdf] 

Abstract

A discussion of some properties of the Guarded Fragment of first-order logic.

BibTeX

@InCollection{Areces1999f,
  author =       "C. Areces and C. Monz and H. de Nivelle and M. de
                 Rijke",
  booktitle =    "JFAK. Essays Dedicated to Johan van Benthem on the
                 Occasion of his 50th Birthday",
  publisher =    "Vossiuspers, AUP",
  title =        "The Guarded Fragment: Ins and Outs",
  year =         "1999",
  address =      "Amsterdam",
  editor =       "J. Gerbrandy and M. Marx and M. de Rijke and Y.
                 Venema",
  ISBN =         "90-5629-104-1",
  abstract =     "A discussion of some properties of the Guarded
                 Fragment of first-order logic.",
}