Hybrid logics are an extension of modal logics where it is possible to refer to a specific state, thus allowing the description of what happens at specific states, equalities and transitions between them. This makes hybrid logics very desirable to work with relational structures.
However, as the amount of information grows, it becomes increasingly more common to find inconsistencies. Information collected about a particular hybrid structure is not an exception. Rather than discarding all the data congregated, working with a paraconsistent type of logic allows us to keep it and still make sensible inferences.
In this paper we introduce a four-valued semantics for hybrid logic, where contradictions are allowed both at the level of propositional variables and accessibility relations. A distinguishing feature of this new logic is the fact that the classical equivalence between modal operators will be broken. A sound and complete tableau system is also presented.
This is a preview of subscription content, log in to check access.
Arieli, O.: On the application of the disjunctive syllogism in paraconsistent logics based on four states of information. In: Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, KR 2010, pp. 302–309. AAAI Press (2010)Google Scholar
Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic. D. Reidel (1977)Google Scholar