| Title |
On decidability of pure hybrid logic / |
| Translation of Title |
Apie grynosios hibridinės logikos išsprendžiamumą. |
| Authors |
Norgėla, Stanislovas Leonas |
| DOI |
10.15388/LMR.A.2012.16 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys. Ser. A.. Vilnius : Vilniaus universiteto leidykla. 2012, t. 53, p. 90-95.. ISSN 0132-2818. eISSN 2335-898X |
| Keywords [eng] |
Hybrid logic ; Decidability |
| Abstract [eng] |
In this paper we study a decidable class of pure Hybrid Logic. To prove decidability we use terminating sequent for formulae of H(@) logic. |
| Published |
Vilnius : Vilniaus universiteto leidykla |
| Type |
Journal article |
| Language |
English |
| Publication date |
2012 |
| CC license |
|
