Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/16014
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. |
URI: | http://hdl.handle.net/10773/16014 |
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 | Size | Format | |
---|---|---|---|---|
Final.pdf | Documento principal | 302.27 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.