Category:Modal logic

This category captures the subject of modal logics, including its branches in philosophy, mathematics, theoretical computer science as well as applications in computer science, e.g. in automated theorem proving.