Cited By
View all- Balbiani P(2022)Parametrized Modal Logic II: The Unidimensional CaseDynamic Logic. New Trends and Applications10.1007/978-3-031-26622-5_2(17-36)Online publication date: 31-Jul-2022
A Four-Valued Hybrid Logic with Non-dual Modal Operators
Pages 88 - 103
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.
References
[1]
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)
[2]
Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic. D. Reidel (1977)
[3]
Besnard P and Hunter A Froidevaux C and Kohlas J Quasi-classical logic: non-trivializable classical reasoning from inconsistent information Symbolic and Quantitative Approaches to Reasoning and Uncertainty 1995 Heidelberg Springer 44-51
[4]
Blackburn PRepresentation, reasoning, and relational structures: a hybrid logic manifestoLog. J. IGPL200083339-3651768949
[5]
Braüner TAxioms for classical, intuitionistic, and paraconsistent hybrid logicJ. Logic Lang. Inform.2006153179-1942261736
[6]
Braüner T Hybrid Logic and its Proof-Theory 2010 Dordrecht Springer
[7]
Chechik M, Devereux B, Easterbrook S, and Gurfinkel A Multi-valued symbolic model-checking ACM Trans. Softw. Eng. Methodol. 2003 12 4 371-408
[8]
Costa D and Martins MAPara consistency in hybrid logicJ. Log. Comput.20162761825-18521396.03065
[9]
Fitting MFixpoint semantics for logic programming a surveyTheor. Comput. Sci.2002278125-511901599
[10]
Fitting MCMany-valued modal logicsFundam. Inf.1991153–4235-25411532980745.03018
[11]
Hansen JU, Bolander T, and Braüner TMany-valued hybrid logicJ. Log. Comput.2015285883-9083850235
[12]
Odintsov SP and Wansing HDisentangling FDE-based paraconsistent modal logicsStud. Logica201710561221-12543736255
[13]
Rivieccio, U., Jung, A., Jansana, R.: Four-valued modal logic: Kripke semantics and duality. J. Log. Comput. (2015)
Index Terms
- A Four-Valued Hybrid Logic with Non-dual Modal Operators
Index terms have been assigned to the content through auto-classification.
Recommendations
Strengthening Brady's Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators
ukasiewicz presented two different analyses of modal notions by means of many-valued logics: (1) the linearly ordered systems 3,..., [InlineEquation not available: see fulltext.] ,..., $$\hbox {L}_{\omega }$$L ; (2) the 4-valued logic he defined in the ...
Another Useful Four-Valued Logic
Knowledge Science, Engineering and ManagementAbstractWe propose a four-valued logic with intuitive semantics by the connectives that is useful for understanding the contradictions in knowledge representation. The intuitive semantics reflects that any assertion has dual character by whose information ...
Three-valued Logics in Modal Logic
Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any three-...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Oct 2019
233 pages
© Springer Nature Switzerland AG 2020.
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 07 October 2019
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 24 Nov 2024
Other Metrics
Citations
Cited By
View all- Balbiani P(2022)Parametrized Modal Logic II: The Unidimensional CaseDynamic Logic. New Trends and Applications10.1007/978-3-031-26622-5_2(17-36)Online publication date: 31-Jul-2022
View Options
View options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in