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: implies; Necessitation rule: implies. The smallest logic... Wikipedia