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)
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"
                  target="_blank">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}},
  Url =		 {http://christoph-benzmueller.de/papers/C47.pdf},
  Volume =	 186,
  Year =	 2015,
}
Powered by bibtexbrowser