Proof Methods for Modal and Intuitionistic Logics

Types, Tableaus, and Gödel’s God

First-Order Modal Logic