Concept

Normal modal logic

Overview

set of modal formulas containing all propositional tautologies and all instances of the Kripke schema ◻(A→B)→(◻A→◻B) and closed under modus ponens and necessitation

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Normal modal logic

• C. I. Lewis
• Saul Kripke

Related ideas

• Deontic logic
• Modus ponens
• Partially ordered set
• Modal logic
• C. I. Lewis
• Tautology (logic)
• Logic
• Kripke semantics
• Equivalence relation
• Classical modal logic

Place in the tradition

Part of Deontic logic.

Explore Normal modal logic in the interactive graph →