Benvenuti nell'Anagrafe della Ricerca d'Ateneo
La valutazione delle attività di ricerca che si svolgono nelle università ha assunto un'importanza rilevante sia per l'intero sistema universitario sia all'interno di ogni singolo ateneo. Roma Tre si è quindi dotata di idonei strumenti informativi in grado di supportare al meglio le azioni di monitoraggio e di valutazione delle attività di ricerca svolte nei propri dipartimentied ha realizzato una Anagrafe della Ricerca di Ateneo.
EnglishThis 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 [10.1007/s10817-014-9307-z].
| 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 [10.1007/s10817-014-9307-z]. | |
| Handle: | http://hdl.handle.net/11590/140810 | |
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
http://hdl.handle.net/11590/140810
Copyright © 2022