Logica modale: differenze tra le versioni

Versione delle 00:51, 28 mar 2023

Versione delle 23:28, 6 apr 2023

Riga 204:

Se indichiamo con <math>m</math> un qualsiasi calcolo modale, questo si ottiene aggiungendo al linguaggio le regole caratteristiche di deduzione di m dette D(m), costituite dalle regole del calcolo classico D(k) più le regole tipiche del calcolo modale.

La regola comune a tutti i calcoli m è la Regola di necessitazione (N) vista in precedenza, pertanto K è detto sistema formale di logica modale ''fondamentale'', e dove vale N tutti i i calcoli modali sono detti anche normali. In funzione del sistema formale di calcolo K possono essere espressi in tutti gli altri sistemi formali, con le loro regole specifiche per il calcolo modale, derivate dalle combinazioni opportune degli assiomi esposti:

* '''K''': <math> D(K) = D(k) + N</math>