Selected articles 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