Systematic Verification of the Modal Logic Cube in Isabelle/HOL (bibtex)
by Christoph Benzmüller, Maximilian Claus, Nik Sultana
Reference:
Systematic Verification of the Modal Logic Cube in Isabelle/HOL (Christoph Benzmüller, Maximilian Claus, Nik Sultana), In PxTP 2015 (Cezary Kaliszyk, Andrei Paskevich, eds.), EPTCS, volume 186, pp. 27-41, 2015. (slides) (Url (preprint): http://christoph-benzmueller.de/papers/C47.pdf)
Bibtex Entry:
@inproceedings{C47,
  Address =	 {Berlin, Germany},
  Author =	 {Christoph Benzm{\"u}ller and Maximilian Claus and
                  Nik Sultana},
  Booktitle =	 {PxTP 2015},
  Comment =	 {<a
                  href="http://christoph-benzmueller.de/papers/2015-PxTP.pdf">slides</a>},
  Doi =		 {10.4204/EPTCS.186.5},
  Editor =	 {Cezary Kaliszyk and Andrei Paskevich},
  Issn =	 {2075-2180},
  Keywords =	 {own, Automated Reasoning, Interactive Proof,
                  Ontology Reasoning, LEO Prover, Higher Order Logic},
  Pages =	 {27-41},
  Publisher =	 {EPTCS},
  Title =	 {Systematic Verification of the Modal Logic Cube in
                  {Isabelle/HOL}},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/C47.pdf}},
  Volume =	 186,
  Year =	 2015,
}
Powered by bibtexbrowser