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μ) |