Transformations of formulae of hybrid logic

Transformations of formulae of hybrid logic

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

Bibliographic Details
Main Authors: Stanislovas Norgėla, Linas Petrauskas
Format: Article
Language:English
Published: Vilnius University Press 2010-12-01
Series:Lietuvos Matematikos Rinkinys
Subjects:
hybrid logic
clause
Online Access:https://www.journals.vu.lt/LMR/article/view/17846
id doaj-5b2cb97c697d4ac287b33fe13dcf450c
record_format Article
spelling doaj-5b2cb97c697d4ac287b33fe13dcf450c2020-11-25T03:36:43ZengVilnius University PressLietuvos Matematikos Rinkinys0132-28182335-898X2010-12-0151proc. LMS10.15388/LMR.2010.62Transformations of formulae of hybrid logicStanislovas Norgėla0Linas Petrauskas1Vilnius UniversityVilnius University This paper describes a procedure to transform formulae of hybrid logic H(@) over transitive and reflexive frames into their clausal form. https://www.journals.vu.lt/LMR/article/view/17846hybrid logicclause
collection DOAJ
language English
format Article
sources DOAJ
author Stanislovas Norgėla
Linas Petrauskas
spellingShingle Stanislovas Norgėla
Linas Petrauskas
Transformations of formulae of hybrid logic
Lietuvos Matematikos Rinkinys
hybrid logic
clause
author_facet Stanislovas Norgėla
Linas Petrauskas
author_sort Stanislovas Norgėla
title Transformations of formulae of hybrid logic
title_short Transformations of formulae of hybrid logic
title_full Transformations of formulae of hybrid logic
title_fullStr Transformations of formulae of hybrid logic
title_full_unstemmed Transformations of formulae of hybrid logic
title_sort transformations of formulae of hybrid logic
publisher Vilnius University Press
series Lietuvos Matematikos Rinkinys
issn 0132-2818
2335-898X
publishDate 2010-12-01
description This paper describes a procedure to transform formulae of hybrid logic H(@) over transitive and reflexive frames into their clausal form.
topic hybrid logic
clause
url https://www.journals.vu.lt/LMR/article/view/17846
work_keys_str_mv AT stanislovasnorgela transformationsofformulaeofhybridlogic
AT linaspetrauskas transformationsofformulaeofhybridlogic
_version_ 1724548484639490048

Similar Items