Resolution Decides the Guarded Fragment
Hans de Nivelle

We give resolution based decision procedures for the guarded fragment
of ([ANB96]), and for the loosely guarded fragment of ([vBenthem97]).
The relevance of the guarded fragments lies in the fact that many modal
logics can be translated into them. In this way the guarded fragments
act as a framework explaining the nice properties of these modal logics.
By constructing an implementable decision procedure for the guarded
fragments we define an effective procedure for deciding these modal logics.