En logique, une logique modale normale est un ensemble L de formules modales tel que L contient: - La plus petite logique répondant aux conditions ci-dessus est appelé K. La plupart des logiques modales couramment utilisés de nos jours (en termes de motivations philosophiques), par exemple Le ...