1. Anderson, C.: Some emendations of Gödel’s ontological proof. Faith and Philosophy 7(3) (1990)
2. IFIP AICT;C. Benzmüller,2009
3. Benzmüller, C.: Combining and automating classical and non-classical logics in classical higher-order logic. Annals of Mathematics and Artificial Intelligence 62(1-2), 103–128 (2011)
4. Benzmüller, C.: Automating quantified conditional logics in HOL. In: Rossi, F. (ed.) IJCAI 2013, Beijing, China, pp. 746–753 (2013)
5. Benzmüller, C.: Cut-free calculi for challenge logics in a lazy way. In: Clint van Alten, C.N., Cintula, P. (eds.) Proceedings of the International Workshop on Algebraic Logic in Computer Science (2013)