| Title |
Proof-search in hybrid logic / |
| Translation of Title |
Išvedimo paieška Hibridinėje logikoje. |
| Authors |
Aleknavičiūtė, Daiva ; Norgėla, Stanislovas Leonas |
| DOI |
10.15388/LMR.2008.18104 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys.. Vilnius : Vilniaus universiteto leidykla. 2008, t. 48-49, p. 252-255.. ISSN 0132-2818. eISSN 2335-898X |
| Keywords [eng] |
sequent calculus ; hybrid logic ; proof-search |
| Abstract [eng] |
The paper describes a new tactic for proof-search in Hybrid logic H@, which always terminates. |
| Published |
Vilnius : Vilniaus universiteto leidykla |
| Type |
Journal article |
| Language |
English |
| Publication date |
2008 |
| CC license |
|
