@inproceedings{C44,
  Author =	 {Christoph Benzm{\"{u}}ller and Woltzenlogel Paleo,
                  Bruno},
  Booktitle =	 {Computer Science - Theory and Applications - 10th
                  International Computer Science Symposium in Russia,
                  {CSR} 2015, Listvyanka, Russia, July 13-17, 2015,
                  Proceedings},
  Doi =		 {10.1007/978-3-319-20297-6_25},
  Editor =	 {Lev D. Beklemishev and Daniil V. Musatov},
  Keywords =	 {own, Automated Reasoning, Interactive Proof,
                  Ontology Reasoning, LEO Prover, Higher Order Logic,
                  Computational Metaphysics},
  Pages =	 {398--411},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {Interacting with Modal Logics in the {Coq} Proof
                  Assistant},
  url_preprint = {https://www.researchgate.net/publication/273201458},
  Volume =	 9139,
  Year =	 2015,
}

{"_id":"b2zPBXoqdyHtTn8o2","bibbaseid":"benzmller-woltzenlogelpaleo-interactingwithmodallogicsinthecoqproofassistant-2015","author_short":["Benzmüller, C.","Woltzenlogel Paleo, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"propositions":[],"lastnames":["Woltzenlogel","Paleo"],"firstnames":["Bruno"],"suffixes":[]}],"booktitle":"Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings","doi":"10.1007/978-3-319-20297-6_25","editor":[{"firstnames":["Lev","D."],"propositions":[],"lastnames":["Beklemishev"],"suffixes":[]},{"firstnames":["Daniil","V."],"propositions":[],"lastnames":["Musatov"],"suffixes":[]}],"keywords":"own, Automated Reasoning, Interactive Proof, Ontology Reasoning, LEO Prover, Higher Order Logic, Computational Metaphysics","pages":"398–411","publisher":"Springer","series":"LNCS","title":"Interacting with Modal Logics in the Coq Proof Assistant","url_preprint":"https://www.researchgate.net/publication/273201458","volume":"9139","year":"2015","bibtex":"@inproceedings{C44,\n Author =\t {Christoph Benzm{\\\"{u}}ller and Woltzenlogel Paleo,\n Bruno},\n Booktitle =\t {Computer Science - Theory and Applications - 10th\n International Computer Science Symposium in Russia,\n {CSR} 2015, Listvyanka, Russia, July 13-17, 2015,\n Proceedings},\n Doi =\t\t {10.1007/978-3-319-20297-6_25},\n Editor =\t {Lev D. Beklemishev and Daniil V. Musatov},\n Keywords =\t {own, Automated Reasoning, Interactive Proof,\n Ontology Reasoning, LEO Prover, Higher Order Logic,\n Computational Metaphysics},\n Pages =\t {398--411},\n Publisher =\t {Springer},\n Series =\t {LNCS},\n Title =\t {Interacting with Modal Logics in the {Coq} Proof\n Assistant},\n url_preprint = {https://www.researchgate.net/publication/273201458},\n Volume =\t 9139,\n Year =\t 2015,\n}\n\n","author_short":["Benzmüller, C.","Woltzenlogel Paleo, B."],"editor_short":["Beklemishev, L. D.","Musatov, D. V."],"key":"C44","id":"C44","bibbaseid":"benzmller-woltzenlogelpaleo-interactingwithmodallogicsinthecoqproofassistant-2015","role":"author","urls":{" preprint":"https://www.researchgate.net/publication/273201458"},"keyword":["own","Automated Reasoning","Interactive Proof","Ontology Reasoning","LEO Prover","Higher Order Logic","Computational Metaphysics"],"metadata":{"authorlinks":{}},"downloads":2,"html":""},"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":["interacting","modal","logics","coq","proof","assistant","benzmüller","woltzenlogel paleo"],"title":"Interacting with Modal Logics in the Coq Proof Assistant","year":2015,"downloads":2}