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]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
PP-2002-16.text.ps.gz Download (116kB) |
|
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 |
