We describe a resolution method and a procedure to transform formulae of some pure hybrid logics into their clausal form.
This work is licensed under a Creative Commons Attribution 4.0 International License.
Please read the Copyright Notice in Journal Policy.