Normal form of formulas of pure hybrid logic
Articles
Daiva Aleknavičiūtė
Vilnius University
Stanislovas Norgėla
Vilnius University
Published 2021-06-14
https://doi.org/10.15388/LMR.2007.24225
PDF

Keywords

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.

Abstract

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.

PDF
Creative Commons License

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

Please read the Copyright Notice in Journal Policy