This work is a brief presentation of an extension of the proof procedure for a decidable fragment of hybrid logic presented in a previous paper. It shows how to extend such a calculus to multi-modal logic enriched with transitivity and relation inclusion assertions. A further result reported in this work is that the logic extending the considered fragment with the addition of graded modalities has an undecidable satisfiability problem, unless further syntactical restrictions are placed on their use.
Cialdea Mayer M (2014). Extended Decision Procedure for a Fragment of HL with Binders. JOURNAL OF AUTOMATED REASONING, 53(3), 305-315.
Titolo: | Extended Decision Procedure for a Fragment of HL with Binders |
Autori: | |
Data di pubblicazione: | 2014 |
Rivista: | |
Citazione: | Cialdea Mayer M (2014). Extended Decision Procedure for a Fragment of HL with Binders. JOURNAL OF AUTOMATED REASONING, 53(3), 305-315. |
Handle: | http://hdl.handle.net/11590/140810 |
Appare nelle tipologie: | 1.1 Articolo in rivista |