Modallogisches Modell/Einbettung in universelles modallogisches Modell/Aufgabe
Zur Navigation springen
Zur Suche springen
Es sei ein modallogisches Modell und das universelle modallogische Modell. Zeige, dass durch
eine Abbildung definiert ist, die ein Homomorphismus (bezüglich der zweistelligen Relationen und )
ist.