Interacting with Modal Logics in the Coq Proof Assistant. Benzmüller, C. & Woltzenlogel Paleo, B. In Beklemishev, L. D. & Musatov, D. V., editors, Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings, volume 9139, of LNCS, pages 398–411, 2015. Springer.
Interacting with Modal Logics in the Coq Proof Assistant [link]Preprint  doi  bibtex   2 downloads  
@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,
}

Downloads: 2