## normal modal logic

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

Wikipedia (English): Normal_modal_logicWikidata: normal modal logic

nLab: normal modal logic