Transformations of formulae of hybrid logic

Stanislovas  Norgėla; Linas  Petrauskas

doi:10.15388/LMR.2010.62

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.

Download Citation

Abstract

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

PDF

Downloads

Download data is not yet available.

Most read articles by the same author(s)

Stanislovas Norgėla, On decidability of pure hybrid logic , Lietuvos matematikos rinkinys: Vol. 53 (2012): Ser. A
Stanislovas Norgėla, Resolution for hybrid logics , Lietuvos matematikos rinkinys: Vol. 52 (2011)
Daiva Aleknavičiūtė, Stanislovas Norgėla, Proof-search in hybrid logic , Lietuvos matematikos rinkinys: Vol. 48 (2008)
Daiva Aleknavičiūtė, Stanislovas Norgėla, Normal form of formulas of pure hybrid logic , Lietuvos matematikos rinkinys: Vol. 47 (2007)
Stanislovas Norgėla, Anželika Šalaviejienė, Sequent calculus for hybrid logic , Lietuvos matematikos rinkinys: Vol. 46 (2006)
Andrejus Belovas, Stanislovas Norgėla, Sequent calculus Sk4 for skolemized formulas , Lietuvos matematikos rinkinys: Vol. 45 (2005)
Adomas Birštunas, Stanislovas Norgėla, Inverse method for modal logic S4 , Lietuvos matematikos rinkinys: Vol. 43 (2003)
Stanislovas Norgėla, Herbrand expansions of some formulas of modal logic S4 , Lietuvos matematikos rinkinys: Vol. 43 (2003)
Stanislovas Norgėla, Resolution method for some class of formulas of modal logic S4 , Lietuvos matematikos rinkinys: Vol. 44 (2004)
Stanislovas Norgėla, Development of computer science studies at the Faculty of Mathematics and Informatics of the Vilnius University , Lietuvos matematikos rinkinys: Vol. 41 (2001)

1 2 > >>