Higher-Order Modal Logics: Automation and Applications. Benzmüller, C. & Woltzenlogel Paleo, B. In Paschke, A. & Faber, W., editors, Reasoning Web 2015, of LNCS, pages 32-74, Berlin, Germany, 2015. Springer. (Invited paper)![Higher-Order Modal Logics: Automation and Applications [link]](https://bibbase.org/img/filetypes/link.svg "link")
Preprint doi bibtex 3 downloads @inproceedings{C46,
Address = {Berlin, Germany},
Author = {Christoph Benzm{\"u}ller and Woltzenlogel Paleo,
Bruno},
Booktitle = {Reasoning Web 2015},
Doi = {10.1007/978-3-319-21768-0_2},
Editor = {Adrian Paschke and Wolfgang Faber},
Keywords = {own, Automated Reasoning, Interactive Proof,
Ontology Reasoning, LEO Prover, Higher Order Logic,
Computational Metaphysics},
Note = {(Invited paper)},
Number = 9203,
Pages = {32-74},
Publisher = {Springer},
Series = {LNCS},
Title = {Higher-Order Modal Logics: Automation and
Applications},
url_preprint = {https://www.researchgate.net/publication/281677232},
Year = 2015,
}
Downloads: 3
{"_id":"NJXucakkS4JMbtN2K","bibbaseid":"benzmller-woltzenlogelpaleo-higherordermodallogicsautomationandapplications-2015","author_short":["Benzmüller, C.","Woltzenlogel Paleo, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Berlin, Germany","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"propositions":[],"lastnames":["Woltzenlogel","Paleo"],"firstnames":["Bruno"],"suffixes":[]}],"booktitle":"Reasoning Web 2015","doi":"10.1007/978-3-319-21768-0_2","editor":[{"firstnames":["Adrian"],"propositions":[],"lastnames":["Paschke"],"suffixes":[]},{"firstnames":["Wolfgang"],"propositions":[],"lastnames":["Faber"],"suffixes":[]}],"keywords":"own, Automated Reasoning, Interactive Proof, Ontology Reasoning, LEO Prover, Higher Order Logic, Computational Metaphysics","note":"(Invited paper)","number":"9203","pages":"32-74","publisher":"Springer","series":"LNCS","title":"Higher-Order Modal Logics: Automation and Applications","url_preprint":"https://www.researchgate.net/publication/281677232","year":"2015","bibtex":"@inproceedings{C46,\n Address =\t {Berlin, Germany},\n Author =\t {Christoph Benzm{\\\"u}ller and Woltzenlogel Paleo,\n Bruno},\n Booktitle =\t {Reasoning Web 2015},\n Doi =\t\t {10.1007/978-3-319-21768-0_2},\n Editor =\t {Adrian Paschke and Wolfgang Faber},\n Keywords =\t {own, Automated Reasoning, Interactive Proof,\n Ontology Reasoning, LEO Prover, Higher Order Logic,\n Computational Metaphysics},\n Note =\t {(Invited paper)},\n Number =\t 9203,\n Pages =\t {32-74},\n Publisher =\t {Springer},\n Series =\t {LNCS},\n Title =\t {Higher-Order Modal Logics: Automation and\n Applications},\n url_preprint = {https://www.researchgate.net/publication/281677232},\n Year =\t 2015,\n}\n\n","author_short":["Benzmüller, C.","Woltzenlogel Paleo, B."],"editor_short":["Paschke, A.","Faber, W."],"key":"C46","id":"C46","bibbaseid":"benzmller-woltzenlogelpaleo-higherordermodallogicsautomationandapplications-2015","role":"author","urls":{" preprint":"https://www.researchgate.net/publication/281677232"},"keyword":["own","Automated Reasoning","Interactive Proof","Ontology Reasoning","LEO Prover","Higher Order Logic","Computational Metaphysics"],"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","automated reasoning","interactive proof","ontology reasoning","leo prover","higher order logic","computational metaphysics"],"search_terms":["higher","order","modal","logics","automation","applications","benzmüller","woltzenlogel paleo"],"title":"Higher-Order Modal Logics: Automation and Applications","year":2015,"downloads":3}