Difference between revisions of "Category:Modal logic"
(new) |
(No difference)
|
Latest revision as of 10:04, 24 December 2008
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.
