Paraconsistency in hybrid logic - Costa, Diana (2017)