HOL based First-order Modal Logic Provers (bibtex)
by Christoph Benzmüller, Thomas Raths
Reference:
HOL based First-order Modal Logic Provers (Christoph Benzmüller, Thomas Raths), In Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) (Kenneth L. McMillan, Aart Middeldorp, Andrei Voronkov, eds.), Springer, LNCS, volume 8312, pp. 127-136, 2013.
Bibtex Entry:
@inproceedings{C38,
  Address =	 {Stellenbosch, South Africa},
  Author =	 {Christoph Benzm{\"u}ller and Thomas Raths},
  Booktitle =	 {Proceedings of the 19th International Conference on
                  Logic for Programming, Artificial Intelligence and
                  Reasoning (LPAR)},
  Doi =		 {10.1007/978-3-642-45221-5_9},
  Editor =	 {Kenneth L. McMillan and Aart Middeldorp and Andrei
                  Voronkov},
  Isbn =	 {978-3-642-45220-8},
  Keywords =	 {own, Higher Order Logic, Semantic Embedding, Modal
                  Logics, Automated Reasoning},
  Pages =	 {127-136},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {{HOL} based First-order Modal Logic Provers},
  Url =		 {http://christoph-benzmueller.de/papers/C38.pdf},
  Volume =	 8312,
  Year =	 2013,
}
Powered by bibtexbrowser