Oblig 4 is corrected and …

Oblig 4 is corrected and the results will be available in Devilry today. The due date for the second attempt is extended with one week; new due date is 09.05.2011 23:59. We encourage also those of you who have not delivered oblig 4 to try again for the second attempt. In order to pass the oblig you need to show that you have some understanding of each of the four main exercises, especially you need to successfully make one interpretation, one countermodel and one proof in exercise "Model Semantics". Look at the solutions for the group exercises for help and ask the group teacher.