Le leggi modali minimali
Lug 03[ad#Ret Big] Rieccoci di nuovo qui a parlare di logica modale. Nell’ultimo post avevamo lasciato in sospeso come mai nei dead end tutte le formule boxate sono vere e tutte quelle ◊-ate sono invece false. La motivazione risiede nel fatto che, come abbiamo detto, i dead end sono mondi che non vedono nessun altro, neanche se stessi, ossia: ¬∃ j∈W (iRj) Di conseguenza della nota...
2.2. Logica modale. Verità di una formula
Giu 05[ad#Ret Big] Dopo aver visto un accenno di semantica ed aver introdotto i concetti di modello e cornice è arrivato il momento di fornire una definizione induttiva di verità o forzatura di una formula. La verità di una formula α in un mondo i di un modello M si legge: α è vera al mondo i in M oppure alternativamente: i forza α (in M) Ovviamente quando è chiaro dal contesto in quale...