Resolution for hybrid logics

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

Bibliographic Details
Main Author:	Stanislovas Norgėla
Format:	Article
Language:	English
Published:	Vilnius University Press 2011-12-01
Series:	Lietuvos Matematikos Rinkinys
Subjects:	hybrid logic resolution clause
Online Access:	https://www.journals.vu.lt/LMR/article/view/15441

Internet