Versione delle 19:27, 16 ott 2022 modifica 151.68.39.255 (discussione) →Assiomatizzazioni: Assiomi duali Etichette: Modifica da mobile Modifica da web per mobile ← Differenza precedente		Versione delle 20:23, 8 nov 2022 modifica annulla FrescoBot (discussione \| contributi) Bot 3 584 790 modifiche m Bot: apostrofo dopo l'articolo indeterminativo Differenza successiva →
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.ph/kHir9\|titolo=Dual axioms in modal logic\|data=24 gennaio 2022}}</ref> === Interpretazione dei sistemi KT, KD e KD45 ===

Logica modale: differenze tra le versioni