Transformations of formulae of hybrid logic
Articles
Stanislovas Norgėla
Vilnius University
Linas Petrauskas
Vilnius University
Published 2010-12-21
https://doi.org/10.15388/LMR.2010.62
PDF

Keywords

hybrid logic
clause

How to Cite

Norgėla S. and Petrauskas L. (2010) “Transformations of formulae of hybrid logic”, Lietuvos matematikos rinkinys, 51(proc. LMS), pp. 342–346. doi: 10.15388/LMR.2010.62.

Abstract

This paper describes a procedure to transform formulae of hybrid logic H(@) over transitive and reflexive frames into their clausal form.

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