| Title |
Normal form of formulas of pure hybrid logic / |
| Translation of Title |
Hibridinės logikos formulių normalioji forma. |
| Authors |
Aleknavičiūtė, Daiva ; Norgėla, Stanislovas Leonas |
| DOI |
10.15388/LMR.2007.24225 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys. 2007, t. 47, spec. nr, p. 341-345.. ISSN 0132-2818 |
| Abstract [eng] |
In this paper, we study a transformation of pure hybrid logic formulea, which do not have binding operator, into an equivalent normal form, which does not have any satisfiability operators in the scope of another satisfiability operator. |
| Type |
Journal article |
| Language |
English |
| Publication date |
2007 |
| CC license |
|
