Category:Axioms of modal logic
From Infogalactic: the planetary knowledge core
Modal logic is a generic term for logics intermediate in strength between propositional logic and first-order logic, and in particular, for logics validating Kripke semantics.
Pages in category "Axioms of modal logic"
The following 2 pages are in this category, out of 2 total.