normal modal logic
Sign in to saveset 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
Connections
partially ordered set
Entity
logic
Entity
equivalence relation
Entity
tautology
Entity
modal logic
Entity
modus ponens
Entity
Clarence Irving Lewis
Entity
preorder
Entity
deontic logic
Entity
upward directed set
Entity
epistemic modal logic
Entity
Kripke semantics
Entity
weak ordering
Entity
provability logic
Entity
classical modal logic
Entity
S5
Entity