Algorithmische Modelltheorie: Vorlesung (Mo, 10.06.2024)
Zur Veranstaltungsseite

Anmeldung erforderlich

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden
  • Einbetten

Kapitel:

01:01:37
6: Modale, Inflationäre und partielle Fixpunktlogiken
01:02:27
6.1: Modale μ-Kalkül