Please use this identifier to cite or link to this item:
Title: A tableau system for Quasi-hybrid logic
Author: Costa, Diana
Martins, Manuel A.
Keywords: Quasi-hybrid logic
Tableaux system
Issue Date: 12-Jun-2016
Publisher: Springer International Publishing
Abstract: Hybrid logic is a valuable tool for specifying relational structures, at the same time that allows defining accessibility relations between states, it provides a way to nominate and make mention to what happens at each specific state. However, due to the many sources nowadays available, we may need to deal with contradictory information. This is the reason why we came with the idea of Quasi-hybrid logic, which is a paraconsistent version of hybrid logic capable of dealing with inconsistencies in the information, written as hybrid formulas. In [5] we have already developed a semantics for this paraconsistent logic. In this paper we go a step forward, namely we study its proof-theoretical aspects. We present a complete tableau system for Quasi-hybrid logic, by combining both tableaux for Quasi-classical and Hybrid logics.
DOI: 10.1007/978-3-319-40229-1_30
ISBN: 978-3-319-40228-4
Appears in Collections:CIDMA - Capítulo de livro
AGG - Capítulo de livro

Files in This Item:
File Description SizeFormat 
Final.pdfDocumento principal302.27 kBAdobe PDFView/Open

Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.