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