Abstract
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 via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
Only for nominals, propositional variables and modalities already occurring in the diagram.
References
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)
Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic. D. Reidel (1977)
Besnard, P., Hunter, A.: Quasi-classical logic: non-trivializable classical reasoning from inconsistent information. In: Froidevaux, C., Kohlas, J. (eds.) ECSQARU 1995. LNCS, vol. 946, pp. 44–51. Springer, Heidelberg (1995). https://doi.org/10.1007/3-540-60112-0_6
Blackburn, P.: Representation, reasoning, and relational structures: a hybrid logic manifesto. Log. J. IGPL 8(3), 339–365 (2000)
Braüner, T.: Axioms for classical, intuitionistic, and paraconsistent hybrid logic. J. Logic Lang. Inform. 15(3), 179–194 (2006)
Braüner, T.: Hybrid Logic and its Proof-Theory. Springer, Dordrecht (2010). https://doi.org/10.1007/978-94-007-0002-4
Chechik, M., Devereux, B., Easterbrook, S., Gurfinkel, A.: Multi-valued symbolic model-checking. ACM Trans. Softw. Eng. Methodol. 12(4), 371–408 (2003)
Costa, D., Martins, M.A.: Para consistency in hybrid logic. J. Log. Comput. 27(6), 1825–1852 (2016)
Fitting, M.: Fixpoint semantics for logic programming a survey. Theor. Comput. Sci. 278(1), 25–51 (2002). Mathematical Foundations of Programming Semantics 1996
Fitting, M.C.: Many-valued modal logics. Fundam. Inf. 15(3–4), 235–254 (1991)
Hansen, J.U., Bolander, T., Braüner, T.: Many-valued hybrid logic. J. Log. Comput. 28(5), 883–908 (2015)
Odintsov, S.P., Wansing, H.: Disentangling FDE-based paraconsistent modal logics. Stud. Logica 105(6), 1221–1254 (2017)
Rivieccio, U., Jung, A., Jansana, R.: Four-valued modal logic: Kripke semantics and duality. J. Log. Comput. (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Costa, D., Martins, M.A. (2020). A Four-Valued Hybrid Logic with Non-dual Modal Operators. In: Soares Barbosa, L., Baltag, A. (eds) Dynamic Logic. New Trends and Applications. DALI 2019. Lecture Notes in Computer Science(), vol 12005. Springer, Cham. https://doi.org/10.1007/978-3-030-38808-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-030-38808-9_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-38807-2
Online ISBN: 978-3-030-38808-9
eBook Packages: Computer ScienceComputer Science (R0)