Logica modale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m →Modalità epistemiche: wl |
→Assiomatizzazioni: Assiomi duali Etichette: Modifica da mobile Modifica da web per mobile |
||
Riga 234:
* <math> KT4G \supset K46GF</math>
* <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 ===
| |||