Posts

Maths

• \(\mathsf{iS4}\) and \(\mathsf{CS4}\) prove the same diamond-free formulas -new-
• 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