Resolution-Based Methods for Modal Logics (2000)
by
Hans De Nivelle
,
Renate A. Schmidt
,
Ulrich Hustadt
| Venue: | Logic J. IGPL |
| Citations: | 40 - 20 self |
BibTeX
@ARTICLE{Nivelle00resolution-basedmethods,
author = {Hans De Nivelle and Renate A. Schmidt and Ulrich Hustadt},
title = {Resolution-Based Methods for Modal Logics},
journal = {Logic J. IGPL},
year = {2000},
volume = {8},
pages = {2000}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper we give an overview of resolution methods for extended propositional modal logics. We adopt the standard translation approach and consider different resolution refinements which provide decision procedures for the resulting clause sets. Our procedures are based on ordered resolution and selection-based resolution. The logics that we cover are multi-modal logics defined over relations closed under intersection, union, converse and possibly complementation.
