1. Aldini, A., Fano, V., Graziani, P.: A note on knowing machines. In: Gadducci, F., Tavosanis, M. (eds.) Preliminary Proceedings of the 3rd International Conferene on the History and Philosophy of Computing (HaPoC 2105), pp. 15–17. Pisa University Press (2015)
2. Alexander, S.: The theory of several knowing machines. Ph.D. thesis, Ohio State University (2013)
3. Alexander, S.: A machine that knows its own code. Stud. Logica. 102, 567–576 (2014)
4. Artemov, S.N., Beklemishev, L.D.: Provability logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 13, 2nd edn, pp. 189–360. Springer, Dordrecht (2004)
5. Benacerraf, P.: God, the devil and Gödel. Monist 51, 9–32 (1967)