Modal logic posts
by John from John D. Cook on (#63219)
- 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.
The post Modal logic posts first appeared on John D. Cook.