Dynamic logic
Temporal logic
Logic of knowledge and belief
Auto-epistemic logic
Multimodal logics