Logica modale: differenze tra le versioni

Versione delle 22:34, 15 dic 2023

Versione delle 07:49, 5 ott 2024

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://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.todayis/20221016172121/https://www.johndcook.com/blog/2022/01/24/dual-axioms-in-modal-logic/|urlmorto=sì}}</ref>

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