Category:Modal logic

From Openresearch
Revision as of 09:04, 24 December 2008 by Floebe (talk | contribs) (new)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, 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.