| Title |
Resolution for hybrid logics |
| Translation of Title |
Rezoliucijų metodas hibridinėms logikoms. |
| Authors |
Norgėla, Stanislovas Leonas |
| DOI |
10.15388/LMR.2011.ml06 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys. LMD darbai.. Vilnius : Matematikos ir informatikos institutas. 2011, t. 52, p. 253-256.. ISSN 0132-2818 |
| Keywords [eng] |
Hybrid logic ; Resolution ; Clause |
| Abstract [eng] |
We describe a resolution method and a procedure to transform formulae of some pure hybrid logics into their clausal form. |
| Published |
Vilnius : Matematikos ir informatikos institutas |
| Type |
Journal article |
| Language |
English |
| Publication date |
2011 |
| CC license |
|
