| Title |
Transformations of formulae of hybrid logic / |
| Translation of Title |
Hibridinės logikos formulių transformavimas. |
| Authors |
Norgėla, Stanislovas Leonas ; Petrauskas, Linas |
| DOI |
10.15388/LMR.2010.62 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys. LMD darbai.. Vilnius : Matematikos ir informatikos institutas. 2010, t. 51, p. 342-346.. ISSN 0132-2818 |
| Keywords [eng] |
Hybrid logic ; Clause |
| Abstract [eng] |
This paper describes a procedure to transform formulae of hybrid logic (...) over transitive and reflexive frames into their clausal form. |
| Published |
Vilnius : Matematikos ir informatikos institutas |
| Type |
Journal article |
| Language |
English |
| Publication date |
2010 |
