Transformations of formulae of hybrid logic

Autor:	Stanislovas Norgėla, Linas Petrauskas
Jazyk:	English<br />Lithuanian
Rok vydání:	2010
Předmět:	hybrid logic clause Mathematics QA1-939
Zdroj:	Lietuvos Matematikos Rinkinys, Vol 51, Iss proc. LMS (2010)
Druh dokumentu:	article
ISSN:	0132-2818 2335-898X
DOI:	10.15388/LMR.2010.62
Popis:	This paper describes a procedure to transform formulae of hybrid logic H(@) over transitive and reflexive frames into their clausal form.
Databáze:	Directory of Open Access Journals
Externí odkaz:	https://doaj.org/article/5b2cb97c697d4ac287b33fe13dcf450c Zobrazit plný text záznamu View record in DOAJ