I followed this course by, Prof. Baltag during my 5th Semester at the ILLC Amsterdam for my M.Sc. Logic (UvA). A full description of the course can be found here. My solutions to the assignments are available at: Overleaf: DEL. For the final valuation of this course I worked on this project De Re Knowledge of Arbitrary Objects.