Resolution for hybrid logics | Lietuvos matematikos rinkinys

Articles

Stanislovas Norgėla

Vilnius University

Published 2011-12-15

https://doi.org/10.15388/LMR.2011.ml06

PDF

Keywords

hybrid logic
resolution
clause

How to Cite

Norgėla, S. (2011) “Resolution for hybrid logics”, Lietuvos matematikos rinkinys, 52(proc. LMS), pp. 253–256. doi:10.15388/LMR.2011.ml06.

Download Citation

Crossref

Scopus

Google Scholar

Europe PMC

Abstract

We describe a resolution method and a procedure to transform formulae of some pure hybrid logics 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, Linas Petrauskas, Transformations of formulae of hybrid logic , Lietuvos matematikos rinkinys: Vol. 51 (2010)
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, Some decidable classes of formulas of modal logic S4 , Lietuvos matematikos rinkinys: Vol. 41 (2001)

1 2 > >>