Costa, D;
Martins, MA;
(2021)
Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic.
Journal of Logical and Algebraic Methods in Programming
, 121
, Article 100679. 10.1016/j.jlamp.2021.100679.
Preview |
Text
JLAMP-to_appear.pdf - Accepted Version Download (659kB) | Preview |
Abstract
The modal operators usually associated with the notions of possibility and necessity are classically duals. This paper aims to defy that duality in a paraconsistent environment, namely in a Belnapian Hybrid logic where both propositional variables and accessibility relations are four-valued. Hybrid logic, which is an extension of Modal logic, incorporates extra machinery such as nominals – for uniquely naming states – and a satisfaction operator – so that the formula under its scope is evaluated in the state whose name the satisfaction operator indicates. In classical Hybrid logic the semantics of negation, when it appears before compound formulas, is carried towards subformulas, meaning that eventual inconsistencies can be found at the level of nominals or propositional variables but appear unrelated to the accessibility relations. In this paper we allow inconsistencies in propositional variables and, by breaking the duality between modal operators, inconsistencies at the level of accessibility relations arise. We introduce a sound and complete tableau system and a decision procedure to check if a formula is a consequence of a set of formulas. Tableaux will be used to extract syntactic models for databases, which will then be compared using different inconsistency measures. We conclude with a discussion about bisimulation.
Type: | Article |
---|---|
Title: | Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic |
Open access status: | An open access version is available from UCL Discovery |
DOI: | 10.1016/j.jlamp.2021.100679 |
Publisher version: | https://doi.org/10.1016/j.jlamp.2021.100679 |
Language: | English |
Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
Keywords: | Hybrid logic, Four-valued semantics, Modal operators, Tableaux system, Measures of inconsistency, Bisimulation |
UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
URI: | https://discovery.ucl.ac.uk/id/eprint/10127604 |
Archive Staff Only
![]() |
View Item |