I thought it was fair, I too spammed ND proofs, but still was not hot at modal proofs, and my predicate logic proofs are shady at best. I think I managed to do ok in all proofs except the first modal.
Ive never been good at induction, so that is pretty much a 2 method mark write off.
Overall, probably my hardest exam yet, but I think I will pass comfortably, between 60-75%
In Parow (Cape Town), there were I think 6-7 of us. But like you guys, I thought the exam was very fair.
If you knew the work, you passed. Some of the questions were a little challenging - some of the ND proofs, but I think for all of them, I got some marks at least.
I am also usually not that good at induction, but managed to solve this one (I think).
I think I had seen all those proofs before by going through this years and last years assignments.
I was bummed there was no Horn clause satisfiability question.
The 2nd part of the kripke is easy
I didnt understand it till I looked at the answer to the assignment 3 question about it, and it all fit together there
There were 2 of us at DLI in Durban and it had me worried when the other guy got up and left with 30-45mins to go (can't remember exactly).
I never really got the hang of induction, tried to practice it a few times for this exam but eventually decided to write it off. I did manage to get through some of the inductive steps so hopefully I get some marks there. The rest of the paper was great, some challenging questions, some easy marks and overall probably the best quality paper I've written this year.
Hoping for 70%-80% at least.
This was my last exam for the year now to wait for the results