Category:Axioms of modal logic

From Wikipedia, the free encyclopedia

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. In addition to the rules of propositional logic, there are two axioms common to all modal logics: K (\Box (A\to B)\to(\Box A\to \Box B)) and the rule of necessitation, that if A is a theorem, then so is \Box A.

Pages in category "Axioms of modal logic"

The following 2 pages are in this category, out of 2 total. Updates to this list can occasionally be delayed for a few days.

A

L