Resolution for hybrid logics
Articles
Stanislovas Norgėla
Vilnius University
Published 2011-12-15
https://doi.org/10.15388/LMR.2011.ml06
PDF

Keywords

hybrid logic
resolution
clause

How to Cite

Norgėla S. (2011) “Resolution for hybrid logics”, Lietuvos matematikos rinkinys, 52(proc. LMS), pp. 253–256. doi: 10.15388/LMR.2011.ml06.

Abstract

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

PDF
Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Please read the Copyright Notice in Journal Policy