Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Homework for next week
Dear all,
as discussed today, we have a task for you until next week.
So far, we’ve described in MMT the syntax of propositional logic, of first-order logic and of modal logic.
We’ve also described the semantics of propositional logic and of first-order logic using views.
All of this is in the following file: https://gl.mathhub.info/Teaching/lbs1920/blob/master/source/mmtintro/modal.mmt
Your task is to to describe the semantics of modal logic in the same way. You should read the relevant parts of the lecture slides (accessibility relation etc.).
This is not very easy. We will discuss it next week – if you don’t manage everything, that’s okay.
Best,
Frederik