{{Cat main|Modal logic}}
{{Commons cat|Modal logic}}
Category:Non-classical logic
Category:Mathematical logic
Category:Logic in computer science
Category:Linguistic modality