Type Theory and Mathematics > Completeness and Decidability of Modal Logic Calculi

Soundness, completeness, and decidability for the logics K, K*, CTL, and PDL.