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"

This category contains only the following page. This list may not reflect recent changes (learn more).