M. Fitting

• First-Order Modal Logic
• Types, Tableaus, and Gödel’s God