Title: Types, Tableaus, and Gödel's God
Subjects: God, Modality (Logic), Ontological Proof, Religion