Algorithmische Modelltheorie: Vorlesung (Mo, 02.12.2019)

Anmeldung erforderlich

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:00:08
Satz (θk bestimmt Lk∞ω Formeln durch atomare Typen)
00:21:40
Konsequenz des 0-1-Gesetzes für LFP
00:25:00
6. Modale, inflationäre und partielle Fixpunktlogiken
00:27:05
Erinnerung (ML, Einbettung in FO², Bisimulationsinvarianz, Baummodelleigenschaft)
00:52:12
Definition (modaler µ-Kalkül)
01:01:45
Beispiele (Lµ-Formeln)
01:16:03
Einbettungen (von Lμ)