CT-1998-01: Resolution Decides the Guarded Fragment

CT-1998-01: de Nivelle, Hans (1998) Resolution Decides the Guarded Fragment. [Report]

[thumbnail of Full Text] Text (Full Text)

Download (121kB)
[thumbnail of Abstract] Text (Abstract)

Download (556B)


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.

Item Type: Report
Report Nr: CT-1998-01
Series Name: Computation and Complexity Theory (CT)
Year: 1998
Date Deposited: 12 Oct 2016 14:39
Last Modified: 12 Oct 2016 14:39
URI: https://eprints.illc.uva.nl/id/eprint/1076

Actions (login required)

View Item View Item