{"_id":"4GrDAY8XiPoLuG77r","bibbaseid":"kirchner-benzmller-zalta-mechanizingprincipialogicometaphysicainfunctionaltypetheory-2020","author_short":["Kirchner, D.","Benzmüller, C.","Zalta, E. N."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Kirchner"],"firstnames":["Daniel"],"suffixes":[]},{"propositions":[],"lastnames":["Benzmüller"],"firstnames":["Christoph"],"suffixes":[]},{"propositions":[],"lastnames":["Zalta"],"firstnames":["Edward","N."],"suffixes":[]}],"keywords":"own, Higher Order Logic, Higher Order Modal Logic, Universal Reasoning, Computational Metaphysics","title":"Mechanizing Principia Logico-Metaphysica in Functional Type Theory","journal":"Review of Symbolic Logic","volume":"13","number":"1","publisher":"Cambridge University Press","doi":"10.1017/S1755020319000297","pages":"206-218","url_preprint":"https://www.researchgate.net/publication/321160582","year":"2020","bibtex":"@article{J50,\n Author =\t {Kirchner, Daniel and Benzm{\\\"u}ller, Christoph and\n Zalta, Edward N.},\n Keywords =\t {own, Higher Order Logic, Higher Order Modal Logic,\n Universal Reasoning, Computational Metaphysics},\n Title =\t {Mechanizing Principia Logico-Metaphysica in\n Functional Type Theory},\n Journal =\t {Review of Symbolic Logic},\n Volume =\t 13,\n Number =\t 1,\n Publisher =\t {Cambridge University Press},\n Doi =\t\t {10.1017/S1755020319000297},\n pages =\t {206-218},\n url_preprint = {https://www.researchgate.net/publication/321160582},\n Year =\t 2020,\n}\n\n","author_short":["Kirchner, D.","Benzmüller, C.","Zalta, E. N."],"key":"J50","id":"J50","bibbaseid":"kirchner-benzmller-zalta-mechanizingprincipialogicometaphysicainfunctionaltypetheory-2020","role":"author","urls":{" preprint":"https://www.researchgate.net/publication/321160582"},"keyword":["own","Higher Order Logic","Higher Order Modal Logic","Universal Reasoning","Computational Metaphysics"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":["own","higher order logic","higher order modal logic","universal reasoning","computational metaphysics"],"search_terms":["mechanizing","principia","logico","metaphysica","functional","type","theory","kirchner","benzmüller","zalta"],"title":"Mechanizing Principia Logico-Metaphysica in Functional Type Theory","year":2020,"downloads":1}