Computer Science and Metaphysics: A Cross-Fertilization (bibtex)
by Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
Reference:
Computer Science and Metaphysics: A Cross-Fertilization (Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta), In Open Philosophy (Patrick Grim, ed.), volume 2, pp. 230–251, 2019.
Bibtex Entry:
@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,
OPTnumber = 1,
Pages = {230–251},
Doi = {10.1515/opphil-2019-0015},
OPTAddendum =	 {Preprint: \url{http://doi.org/10.13140/RG.2.2.25229.18403}},
OPTUrl = {https://arxiv.org/abs/1905.00787},
}