Useful Links
Mathematics
Mathematical Logic
1. Introduction to Mathematical Logic
2. Propositional Logic
3. First-Order Logic
4. Model Theory
5. Computability Theory
6. Incompleteness Theorems
7. Axiomatic Set Theory
8. Proof Theory
9. Modal Logic
10. Intuitionistic Logic
11. Higher-Order Logic
Modal Logic
Basic Modal Logic
Syntax and Formation Rules
Necessity and Possibility Operators
Modal Axioms
Axiom K
Axiom T
Axiom 4
Axiom 5
Normal Modal Logics
Kripke Semantics
Possible Worlds
Accessibility Relations
Truth Conditions for Modal Operators
Frame Conditions
Correspondence Theory
Applications of Modal Logic
Alethic Modality
Epistemic Logic
Deontic Logic
Temporal Logic
Advanced Topics in Modal Logic
Completeness Results
Decidability
Bisimulation
Previous
8. Proof Theory
Go to top
Next
10. Intuitionistic Logic