Modallogik/K/Modell/Diamond-Iterationen/Zyklisch/Aufgabe
Zur Navigation springen
Zur Suche springen
Es sei . Charakterisiere das modallogische Axiomenschema
Es sei
.
Charakterisiere das
modallogische
Axiomenschema