Carlos Areces, Christof Monz, Hans de Nivelle, and Maarten de Rijke

In: JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday, Vossiuspers, Amsterdam University Press, 1999.

In this short note we discuss several perspectives on the notion of Guarded Fragments (GFs) of first-order logic first introduced by Andréka, van Benthem and Németi. We focus on computational aspects, discussing some applications of GFs together with issues like the design of e ective decision methods for speci c reasoning tasks and the role of GFs in explaining the general good behavior of modal logics.

[ PostScript | PostScript (gnu-zipped) | PDF ]

@InCollection{arec:99jfak, 
  author=     {Areces, C. and Monz, C. and de~Nivelle, H.
               and de~Rijke, M.}, 
  title=      {The Guarded Fragment: Ins and Outs}, 
  booktitle = {{JFAK}. Essays Dedicated to Johan
              van Benthem on the Occasion of his 50th Birthday},
  publisher = {Vossiuspers, Amsterdam University Press},
  year = 1999
}