Normal form of formulas of pure hybrid logic
Daiva Aleknavičiūtė
Vilnius University
Stanislovas Norgėla
Vilnius University
Published 2021-06-14


pure hybrid logic
normal form

How to Cite

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.

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Please read the Copyright Notice in Journal Policy