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.
Pages in category "Modal logic"
The following 2 pages are in this category, out of 2 total.
