Modal logic
Logics of necessity and possibility interpreted on Kripke models, their axiomatizations, completeness and decidability, and extensions such as epistemic logic, dynamic logic and the modal μ-calculus.
- Epistemic logic
- Kripke semantics
- Bisimulation
- Modal μ-calculus
- Model-checking game for the modal μ-calculus
- Normal modal logics
- Propositional dynamic logic
- Sahlqvist formulas
- Soundness and completeness of normal modal logics
- Filtration and the finite model property
- Standard translation of modal logic
Loading dependency explorer…
The dependency explorer needs JavaScript and its graph data.