Zum Inhalt springen

Modallogik/Symmetrieaxiom/Definition