@inproceedings{66b97200f74d44f08ff8698a2e027688,
title = "A resolution decision procedure for the guarded fragment",
abstract = "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.",
author = "\{De Nivelle\}, Hans",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1998.; 15th International Conference on Automated Deduction, CADE 1998 ; Conference date: 05-07-1998 Through 10-07-1998",
year = "1998",
doi = "10.1007/bfb0054260",
language = "English",
isbn = "3540646752",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "191--204",
editor = "Claude Kirchner and H{\'e}l{\`e}ne Kirchner",
booktitle = "Automated Deduction - CADE-15 - 15th International Conference on Automated Deduction, 1998, Proceedings",
address = "Germany",
}