πRoots
⊢

Modal Logic

★★★★☆Undergraduate

📖Definition

A logical system dealing with necessity (□) and possibility (◇). Interpreted through possible worlds in Kripke semantics.

🔗Related Documents

→Prerequisites

→propositional-logic→first-order-logic

←Next Topics

←temporal-logic←epistemic-logic

↔Related

↔kripke-frames↔intuitionistic-logic

⚡Applications

⚡program-verification⚡philosophy⚡linguistics
#logic#modal#possible-worlds