Resolution for hybrid logics

Stanislovas Norgėla
2011 Lietuvos matematikos rinkinys  
We describe a resolution method and a procedure to transform formulae of some pure hybrid logics into their clausal form.
doi:10.15388/lmr.2011.ml06 fatcat:mxlw5p6emfhhtll6hpgrtrehs4