A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
A resolution decision procedure for the guarded fragment
[chapter]
1998
Lecture Notes in Computer Science
We give a resolution based decision procedure for the guarded fragment of [ANB96] . The relevance of the guarded fragment lies in the fact that many modal logics can be translated into it. In this way the guarded fragment acts as a framework explaining the nice properties of these modal logics. By constructing an effective decision procedure for the guarded fragment we define an effective procedure for deciding these modal logics. C. Kirchner and H. Kirchner (Eds.): Automated Deduction, CADE-15
doi:10.1007/bfb0054260
fatcat:mcex3fmv65d4pmz75ja2xo57ly