Concept

Classical modal logic

Overview

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

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

Related ideas

• If and only if
• Modal logic
• Normal modal logic
• Duality (mathematics)
• Deductive closure
• Neighborhood semantics

Place in the tradition

Part of Modal logic.

Explore Classical modal logic in the interactive graph →