Introduction to Modal Logic - Exercises
Exercises
| Sheet | Handed out | Due date | Remark |
|---|---|---|---|
| Exercise Sheet 1 | Wed, 22-04-2015 | Wed, 29-04-2015 | |
| Exercise Sheet 2 | Wed, 29-04-2015 | Wed, 06-05-2015 | |
| Exercise Sheet 3 | Wed, 06-05-2015 | Wed, 13-05-2015 | |
| Exercise Sheet 4 | Wed, 13-05-2015 | Wed, 20-05-2015 | Corrected 4.3 (20-05-2015) |
| Exercise Sheet 5 | Wed, 20-05-2015 | Wed, 03-06-2015 | |
| Exercise Sheet 6 | Wed, 03-06-2015 | Wed, 10-06-2015 | |
| Exercise Sheet 7 | Wed, 10-06-2015 | Wed, 17-06-2015 | |
| Exercise Sheet 8 | Wed, 17-06-2015 | Wed, 24-06-2015 | |
| Exercise Sheet 9 | Wed, 24-06-2015 | Wed, 01-07-2015 | |
| Exercise Sheet 10 | Wed, 01-07-2015 | Wed, 08-07-2015 | |
| Exercise Sheet 11 | Wed, 08-07-2015 | Wed, 15-07-2015 | See ml.py,formulae1.txt & formulae2.txt , Java version: java.zip |