Logica modale: differenze tra le versioni

Versione delle 23:31, 9 set 2023

Versione delle 14:58, 4 dic 2023

Riga 235:

* <math> KT4S \supset KT4G</math>

Il duale di un assioma si ottiene ruotando di 45° i quadrati (in modo da convertire l'operatore di necessità in quello di possibilità e viceversa) e ruotando di 180° il simbolo della freccia (per invertire il verso dell'implicazione logica).<ref>{{cita web|url=https://archive.today/20221016172121/https://www.johndcook.com/blog/2022/01/24/dual-axioms-in-modal-logic/|titolo=Dual axioms in modal logic|data=24 gennaio 2022|accesso=9 settembre 2023|dataarchivio=16 ottobre 2022|urlarchivio=https://archive.ph/20221016172121/https://www.johndcook.com/blog/2022/01/24/dual-axioms-in-modal-logic/|urlmorto=sì}}</ref>

=== Interpretazione dei sistemi KT, KD e KD45 ===