Classical modal logic

modal logic containing the duality axiom schema ◊A↔¬◻¬A as well as the deduction rule A↔B ⊢ ◻A↔◻B

Pronunciation

Categories