Aleknavičiūtė, D. and Norgėla, S. (2021) “Normal form of formulas of pure hybrid logic”, Lietuvos matematikos rinkinys, 47(spec.), pp. 341–345. doi:10.15388/LMR.2007.24225.
In this paper,we study a transformationof pure hybrid logic formulae,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.
