clueb.it
Logica modale quantificata e designatori non rigidi, di Eugenio Orlandelli
Le logiche modali quantificate sono estensioni delle logiche modali proposizionali ottenute attraverso l’aggiunta dei quantificatori del primo ordine.