Logica modale: differenze tra le versioni

Versione delle 02:08, 6 mag 2023

Versione delle 23:31, 9 set 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.istoday/20221016172121/https://www.johndcook.com/blog/2022/01/24/dual-axioms-in-modal-logic/kHir9|titolo=Dual axioms in modal logic|data=24 gennaio 2022}}</ref>

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