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
Description
Summary:This paper describes a procedure to transform formulae of hybrid logic H(@) over transitive and reflexive frames into their clausal form.
ISSN:0132-2818
2335-898X

Similar Items