𝓜
Math Notes
University Mathematics
Search
⌘K
Home
/
Mathematical Logic
/
Modal Logic
Modal Logic
Modal Logic
Concepts
Modal Languages and Kripke Semantics
Normal Modal Logics
Provability Logic
Theorems
Completeness Theorem for the Basic Modal Logic K
Goldblatt-Thomason Theorem
Proofs
Proof of Löb's Theorem
Mathematics Lecture Notes