Resolution for hybrid logics

Abstract

We describe a resolution method and a procedure to transform formulae of some pure hybrid logics into their clausal form.

Keywords

• hybrid logic
• resolution
• clause