HOL Provers for First-order Modal Logics --- Experiments

5 pages•Published: December 14, 2015

Abstract

Higher-order automated theorem provers have been employed to automate first-order modal logics. Extending previous work, an experiment has been carried out to evaluate their collaborative and individual performances.

Keyphrases: experiments, first order modal logics, higher order automated theorem provers

In: Christoph Benzmüller and Jens Otten (editors). ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics, vol 33, pages 37-41.

Links:	https://easychair.org/publications/paper/sdnL
	https://doi.org/10.29007/przw

BibTeX entry

@inproceedings{ARQNL2014:HOL_Provers_First_order,
  author    = {Christoph Benzmüller},
  title     = {HOL Provers for First-order Modal Logics --- Experiments},
  booktitle = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
  editor    = {Christoph Benzmüller and Jens Otten},
  series    = {EPiC Series in Computing},
  volume    = {33},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/sdnL},
  doi       = {10.29007/przw},
  pages     = {37-41},
  year      = {2015}}

Download PDF Open PDF in browser