German Normale Modallogik Cited by user RonMeier on 26 Nov 2014 Eine normale Modallogik ist in der Logik eine Menge L von Modalformeln, so dass * L folgendes enthält: ** alle propositionalen Tautologien, ** alle Instanzen des Kripke-Sc…