Agents, Intellectics, and Logic

Organisation

• Lecture (in WS25/26 starting from 14 Oct, every Tuesday 12am -2 pm, VMP 6, Lecture Hall E, Prof. Dr. Özgür Özçep)
• Seminar (in WS25/26 starting from 14 Oct, every Tuesday 2-4 pm, Phil B5002,  Prof. Dr. Özgür Özçep)

Contents (as of Winter Term 25/26)

1. Introduction  (pdf, pptx)
2. Noncooperative Game Theory (pdf, pptx)
3. Social Choice (pdf, pptx)
4. Mechanism Design (pdf, pptx)
5. First-Order Logic (FOL): Basics (pdf, pptx)
6. First-Order Logic: Advanced and beyond (pdf, pptx)
7. Propositional and Modal Logic (pdf, pptx)
8. Epistemic Logic (pdf, pptx)
9. Dynamic Epistemic Logic (DEL) (pdf, pptx)
10. Knowledge and Time (pdf, pptx)
11. Modal Logic for Social Choice Theory (pdf, pptx)
12. Belief Revision I (pdf, pptx)
13. Belief Revision II (pdf, pptx)
14. Wrap-up (pdf, pptx)