An Object-Logic Explanation for the Inconsistency in Gödel's Ontological Theory (Extended Abstract, Sister Conferences) (bibtex)
by Christoph Benzmüller, Bruno Woltzenlogel Paleo
Reference:
An Object-Logic Explanation for the Inconsistency in Gödel's Ontological Theory (Extended Abstract, Sister Conferences) (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In KI 2016: Advances in Artificial Intelligence, Proceedings (Malte Helmert, Franz Wotawa, eds.), Springer, LNCS, pp. 244-250, 2016. (Url (preprint): http://christoph-benzmueller.de/papers/C60.pdf)
Bibtex Entry:
@inproceedings{C60,
  Address =	 {Berlin, Germany},
  Author =	 {Christoph Benzm{\"u}ller and Woltzenlogel Paleo,
                  Bruno},
  Booktitle =	 {KI 2016: Advances in Artificial Intelligence,
                  Proceedings},
  Editor =	 {Malte Helmert and Franz Wotawa},
  Keywords =	 {own, Automated Reasoning, Interactive Proof,
                  Semantic Embedding, Higher Order Logic, Higher Order
                  Modal Logic, Computational Metaphysics},
  doi =		 {10.1007/978-3-319-46073-4},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {An Object-Logic Explanation for the Inconsistency in
                  {G\"odel's} Ontological Theory (Extended Abstract,
                  Sister Conferences)},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/C60.pdf}},
  Year =	 2016,
  Pages =	 {244-250}
}
Powered by bibtexbrowser