Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic (bibtex)
by David Fuenmayor, Christoph Benzmüller
Reference:
Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic (David Fuenmayor, Christoph Benzmüller), In KI 2017: Advances in Artificial Intelligence, 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings, Springer, LNAI, volume 10505, pp. 114-127, 2017. (Url (preprint): http://christoph-benzmueller.de/papers/C65.pdf)
Bibtex Entry:
@inproceedings{C65,
  Author =	 {David Fuenmayor and Christoph Benzm{\"u}ller},
  Keywords =	 {own, Automated Reasoning, Intensional Higher-Order
                  Modal Logic, Higher Order Logic},
  Title =	 {Automating Emendations of the Ontological Argument
                  in Intensional Higher-Order Modal Logic},
  Booktitle =	 {KI 2017: Advances in Artificial Intelligence, 40th
                  Annual German Conference on AI, Dortmund, Germany,
                  September 25-29, 2017, Proceedings},
  Publisher =	 {Springer},
  Series =	 {LNAI},
  Year =	 2017,
  Volume =	 10505,
  Pages =	 {114-127},
  isbn =	 {978-3-319-67189-5},
  Doi =		 {10.1007/978-3-319-67190-1_9},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/C65.pdf}}
}
Powered by bibtexbrowser