Category:Axioms of modal logic

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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. This list may not reflect recent changes (learn more).