PP-2002-16: Resolution in Modal, Description and Hybrid Logic

PP-2002-16: Areces, Carlos and de Nivelle, Hans and de Rijke, Maarten (2002) Resolution in Modal, Description and Hybrid Logic. [Report]

[thumbnail of Full Text] Text (Full Text)
PP-2002-16.text.ps.gz

Download (116kB)
[thumbnail of Abstract] Text (Abstract)
PP-2002-16.abstract.txt

Download (775B)

Abstract

We provide a resolution-based proof procedure for modal, description
and hybrid logic that improves on previous proposals in important
ways. It avoids translation into large undecidable logics, and works
directly on modal, description or hybird logic formulas instead. In
addition, by using the hybrid machinery it avoids the complexities of
earlier propositional resolution-based methods for modal logic. It
combines ideas from the method of prefixes used in tableaux, and
resolution ideas in such a way that some of the heuristics and
optimizations devised in either field are applicable.

Item Type: Report
Report Nr: PP-2002-16
Series Name: Prepublication (PP) Series
Year: 2002
Uncontrolled Keywords: resolution, hybrid logics, description logics, modal logics
Subjects: Logic
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/80

Actions (login required)

View Item View Item