Computer Science and Metaphysics: A Cross-Fertilization

Computer Science and Metaphysics: A Cross-Fertilization. Kirchner, D., Benzmüller, C., & Zalta, E. N. Open Philosophy, 2(1):230–251, 2019.

Preprint doi bibtex 7 downloads

@article{J47,
  Keywords =	 {own, Higher Order Logic, Higher Order Modal Logic,
                  Universal Reasoning, Computational Metaphysics,
                  Philosophy},
  Author =	 {Kirchner, Daniel and Benzm{\"u}ller, Christoph and
                  Zalta, Edward N.},
  Journal =	 {Open Philosophy},
  Title =	 {Computer Science and Metaphysics: A
                  Cross-Fertilization},
  Editor =	 {Patrick Grim},
  Year =	 2019,
  Volume =	 2,
  number =	 1,
  Pages =	 {230–251},
  Doi =		 {10.1515/opphil-2019-0015},
  url_preprint = {http://doi.org/10.13140/RG.2.2.25229.18403},
  OPTurl =		 {https://arxiv.org/abs/1905.00787},
}

Downloads: 7

{"_id":"BGTFsx5DuroDocN9c","bibbaseid":"kirchner-benzmller-zalta-computerscienceandmetaphysicsacrossfertilization-2019","author_short":["Kirchner, D.","Benzmüller, C.","Zalta, E. N."],"bibdata":{"bibtype":"article","type":"article","keywords":"own, Higher Order Logic, Higher Order Modal Logic, Universal Reasoning, Computational Metaphysics, Philosophy","author":[{"propositions":[],"lastnames":["Kirchner"],"firstnames":["Daniel"],"suffixes":[]},{"propositions":[],"lastnames":["Benzmüller"],"firstnames":["Christoph"],"suffixes":[]},{"propositions":[],"lastnames":["Zalta"],"firstnames":["Edward","N."],"suffixes":[]}],"journal":"Open Philosophy","title":"Computer Science and Metaphysics: A Cross-Fertilization","editor":[{"firstnames":["Patrick"],"propositions":[],"lastnames":["Grim"],"suffixes":[]}],"year":"2019","volume":"2","number":"1","pages":"230–251","doi":"10.1515/opphil-2019-0015","url_preprint":"http://doi.org/10.13140/RG.2.2.25229.18403","opturl":"https://arxiv.org/abs/1905.00787","bibtex":"@article{J47,\n Keywords =\t {own, Higher Order Logic, Higher Order Modal Logic,\n Universal Reasoning, Computational Metaphysics,\n Philosophy},\n Author =\t {Kirchner, Daniel and Benzm{\\\"u}ller, Christoph and\n Zalta, Edward N.},\n Journal =\t {Open Philosophy},\n Title =\t {Computer Science and Metaphysics: A\n Cross-Fertilization},\n Editor =\t {Patrick Grim},\n Year =\t 2019,\n Volume =\t 2,\n number =\t 1,\n Pages =\t {230–251},\n Doi =\t\t {10.1515/opphil-2019-0015},\n url_preprint = {http://doi.org/10.13140/RG.2.2.25229.18403},\n OPTurl =\t\t {https://arxiv.org/abs/1905.00787},\n}\n\n","author_short":["Kirchner, D.","Benzmüller, C.","Zalta, E. N."],"editor_short":["Grim, P."],"key":"J47","id":"J47","bibbaseid":"kirchner-benzmller-zalta-computerscienceandmetaphysicsacrossfertilization-2019","role":"author","urls":{" preprint":"http://doi.org/10.13140/RG.2.2.25229.18403"},"keyword":["own","Higher Order Logic","Higher Order Modal Logic","Universal Reasoning","Computational Metaphysics","Philosophy"],"metadata":{"authorlinks":{}},"downloads":7},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["7iJQHmhrkoiRJSziT","N2KeXDyLK5jHkZZon","ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":["own","higher order logic","higher order modal logic","universal reasoning","computational metaphysics","philosophy"],"search_terms":["computer","science","metaphysics","cross","fertilization","kirchner","benzmüller","zalta"],"title":"Computer Science and Metaphysics: A Cross-Fertilization","year":2019,"downloads":7}