A hilbert-style axiomatisation for equational hybrid logic

This paper introduces an axiomatisation for equational hybrid logic based on previous axiomatizations and natural deduction systems for propositional and first-order hybrid logic. Its soundness and completeness is discussed. This work is part of a broader research project on the development a genera...

Full description

Bibliographic Details
Main Author: Carreteiro, Marta (author)
Other Authors: Martins, Manuel (author), Barbosa, L. S. (author)
Format: article
Language:eng
Published: 2014
Subjects:
Equational hybrid logic
Hilbert axiomatisation
Completeness
Science & Technology
Social Sciences
Arts & Humanities
Online Access:http://hdl.handle.net/1822/33739
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/33739

Internet

http://hdl.handle.net/1822/33739

Similar Items