Logica modale regolare
Vai alla navigazione
Vai alla ricerca
In logica modale, una logica modale regolare è una logica modale chiusa sotto la dualità dei due operatori modali:
e chiusa sotto la regola:
Ogni logica modale regolare è classica e ogni logica modale normale è regolare e quindi classica.
Bibliografia[modifica | modifica wikitesto]
- Chellas, Brian. Modal Logic: An Introduction. Cambridge University Press, 1980