Category:Modal logic
Jump to navigation
Jump to search
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.