Resolution-Based Methods for Modal Logics

De Nivelle, H. and Schmidt, R. A. and Hustadt, U. (May 2000)

Logic Journal of the IGPL 8 (3) 265-292. BiBTeX, PostScript, Errata.

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.

Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 27 Apr 2001
Copyright © 1999 Renate A. Schmidt, School of Computer Science, Man Univ,