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]

[img] Text (Full Text)

Download (116kB)
[img] Text (Abstract)

Download (775B)


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