Add missing references
Merge branch 'master' of https://github.com/FormalTheology/GoedelGod

Conflicts left out of this commit:
	Papers/InProgress/ModalLogicCoq/ModalCoq.pdf
	Papers/InProgress/ModalLogicCoq/ModalCoq.tex
Merge non-conflicting hunks
Merge conflicting hunks