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"

There are 2 pages in this section of this category.

A

L

Retrieved from "http://en.wikipedia.org../../../a/x/i/Category%7EAxioms_of_modal_logic_32ea.html"