Logique modale normale
Dans la logique , la logique modale de normal de est un L d'ensemble des formules modales tels que le L contient :
Toutes les tautologies propositionnelles ;
Tous les exemples du schéma de Kripke : et il est fermé dessous :
Règle (modus Ponens de détachement de de ) : du &rarr du A et du A ; Le B impliquent le B ;
Règle de Necessitation de : du A impliquent le .
La logique modale remplissant exactement les conditions ci-dessus est la plus minimale logique modale normale appelée le K . La plupart des logiques modales utilisées généralement de nos jours (en termes d'avoir des motivations philosophiques), par exemple le C. Lewis 's S4 et le S5 , sont des prolongements du K .
ogic-moignon
.
| Random links: | Jurques | Chien de Dylan | Présentation de Mary | Saint John, États-Unis Îles Vierges | Sauter Londres | Lógica_modal_normal |