Resolution for hybrid logics | Lietuvos matematikos rinkinys

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.

Downloads

Article Views | PDF Downloads

Range Graph | Chart Graph

Most read articles by the same author(s)

Stanislovas Norgėla, On decidability of pure hybrid logic , Lietuvos matematikos rinkinys: Vol 53 (2012): Ser. A
Stanislovas Norgėla, Linas Petrauskas, Transformations of formulae of hybrid logic , Lietuvos matematikos rinkinys: Vol 51 (2010)
Daiva Aleknavičiūtė, Stanislovas Norgėla, Proof-search in hybrid logic , Lietuvos matematikos rinkinys: Vol 48 (2008)
Daiva Aleknavičiūtė, Stanislovas Norgėla, Normal form of formulas of pure hybrid logic , Lietuvos matematikos rinkinys: Vol 47 (2007)