Lecture 8 (16.12.96)
Previous lecture:
Lecture 7 ,
Overview ,
Course home page ,
Material of this and subsequent lectures:
- [EFT]
H.D. Ebbinghaus, J. Flum, Finite Model Theory,
Springer 1994, Chapter 6.1
Extensions of FOL
Generalized quantifiers.
Examples of generalized quantifiers.
Fixed point logic (Inflationary semantics).
Transitive closure logics.
Next lecture:
Lecture 9