Blog posts about modal logic
- Typesetting modal logic
- Modal and temporal logic for security
- Word problems, modal logic, and regular expressions
- Axioms for S1 through S5
- Naming and numbering modal logic systems
- Modal logic and science fiction
- Dual axioms
- Temporal and polymodal logics
I created the image above by asking DALL-E 2 for an image of diamonds and boxes, a sort of pun on the ◇ (“diamond”) and □ (“box”) operators in modal logic.