Modal And Intensional Logic·Rules·Lesson 2 of 5

The Modal Operators and Their Rules

Introduces the box and diamond operators formally, establishes the duality between them, and presents the core modal axioms K and T together with simple rules of necessity elimination and possibility introduction.

← What Is Modal Logic?Modal Logic: Necessity, Possibility, and Counterfactuals Formalizing Modal Arguments →

Student Pro unlocks this

This lesson is part of the full curriculum.

Free accounts get the entire Foundations track plus the first lesson of every other unit. This lesson is in Modal Logic: Necessity, Possibility, and Counterfactuals — the rest of the unit is Student Pro.

Student Pro also unlocks unlimited detailed feedback, full spaced repetition, and personalized recommendations.

See pricing Sign in first Back to curriculum