We are Mirjam, Dirk and David and we are all Master students at the Rijksuniversiteit Groningen. This project and website is for the course multi-agent systems in the year 2013.
The project is about the so called sum game and it is analysed under the aspects what we have learned in the course (Epistemic logic, Kripke models and more).
Also if you are unrelated to the course and just happened to stumble upon this side, you are welcome to read everything trough and learn more about the sum game and how it is solved with epistemic logic.
The project is about the so called sum game and it is analysed under the aspects what we have learned in the course (Epistemic logic, Kripke models and more).
Also if you are unrelated to the course and just happened to stumble upon this side, you are welcome to read everything trough and learn more about the sum game and how it is solved with epistemic logic.