CT-1998-01: de Nivelle, Hans (1998) Resolution Decides the Guarded Fragment. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
CT-1998-01.text.ps.gz Download (121kB) |
|
Text (Abstract)
CT-1998-01.abstract.txt Download (556B) |
Abstract
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 |
