Posts

Maths

• Separating \(\mathsf{CK}\) and \(\mathsf{IK}\), semantically -new-
• Crash post on modal logic
• The Truth Lemma fails in the modal \(\mu\)-calculus
• Sabotage games
• Necessity is not a truth function

Not maths

• LaTeX bits