Here are notes on logics of knowledge, tableaus, and common knowledge.
And here are notes on propositional dynamic logic.