Non-classical Typed Logic (NTF)

New logic features

Alethic Mono-Modal Logic T Problem

In logic

In TPTP format

Challenge problem

Every student thinks that it's possible that some exam is unfair towards them. If some student is cheating on an exam, then the exam is necessarily unfair to every student. Donald is cheating on the CSC101 exam. Therefore it's possible that there's an exam that is unfair to Alex. Use alethic mono-modal logic T.

Epistemic Multi-Modal Logic S4 Problem

In logic

In TPTP format

Challenge problem

For all logics, Geoff knows they are complicated. Prove that Geoff can know that Alex knows that Geoff knows that modal logic is complicated. Use epistemic multi-modal logic S4.