Corso di logica modale proposizionale
Maggio 24, 2023Da questo bellissimo libro di Giovanna Corsi ed Eugenio Orlandelli ho imparato che ci sono dei teoremi di impossibilità che dimostrano che alcune proprietà della relazione di accessibilità fra mondi, come l’irriflessività, l’antisimmetria e la convergenza, non possono essere espresse nel calcolo…