In logic, a normal modal logic is a set L of modal formulas such that L contains:
- All propositional tautologies;
- All instances of the Kripke schema:
and it is closed under:
- Detachment rule (Modus Ponens): ;
- Necessitation rule: implies .
The smallest logic satisfying the above conditions is called K. Most modal logics commonly used nowadays (in terms of having philosophical motivations), e.g. C. I. Lewis's S4 and S5, are extensions of K. However a number of deontic and epistemic logics, for example, are non-normal, often because they give up the Kripke schema.
Famous quotes containing the words normal and/or logic:
“A normal adolescent is so restless and twitchy and awkward that he can mange to injure his knee—not playing soccer, not playing football—but by falling off his chair in the middle of French class.”
—Judith Viorst (20th century)
“The American Constitution, one of the few modern political documents drawn up by men who were forced by the sternest circumstances to think out what they really had to face instead of chopping logic in a university classroom.”
—George Bernard Shaw (1856–1950)