Kleene Algebra

This site collects announcements and files related to the course Kleene Algebra, as taught by me in the Master of Logic at the ILLC in January 2022.


Lecture notes

Disclaimer: I do not make any claim to originality over the material discussed in these lecture notes. Each file should contain a section labeled "bibliographical notes", where pointers to the literature are listed. If you feel like I should credit more people, or different people, please get in touch with me and I will do my best to update the notes as soon as possible.