Per la biblioteca di Alfonso d’Aragona e Ippolita Maria Sforza, duchi di Calabria : nuove ricerche

Ancora una volta sulla morte per bacio, genesi e fortuna di un concetto da Pico a Marino

Il presente breve contributo è volto a gettare luce su alcuni elementi relativi a un concetto che viene generalmente ascritto al genio filosofico di Pico della Mirandola e che ritroviamo in numerose opere tra Cinque e Seicento come motivo amoroso, spesso scevro del suo contenuto filosofico. L’intervento si propone di sintetizzare brevemente la storia degli studi contemporanei sul concetto di ‘morte attraverso il bacio’, per poi passare alla genesi di questo motivo nella poesia amorosa, con pa...

Beyond Headlines : a Corpus of Femicides News Coverage in Italian Newspapers

How newspapers cover news significantly impacts how facts are understood, perceived, and processed by the public. This is especially crucial when serious crimes are reported, e.g., in the case of femicides, where the description of the perpetrator and the victim builds a strong, often polarized opinion of this severe societal issue. This paper presents FMNews, a new dataset of articles reporting femicides extracted from Italian newspapers. Our core contribution aims to promote the development...

A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS

We communicate here the most recent extension of HOLMS, our library for modal logics aimed at introducing automated modal reasoning within the HOL Light proof assistant. Based on a uniform proof strategy, we present a more refined formal proof of completeness for systems within and beyond the S5-normal modal cube, notably Gödel-Löb logic. We report on our development by adopting a measure of its modularity based on Strachey’s distinction between parametric and ad hoc polymorphic code.