Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II (bibtex)
by Christoph Benzmüller, Lawrence C. Paulson
Reference:
Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II (Christoph Benzmüller, Lawrence C. Paulson), Chapter in Reasoning in Simple Type Theory --- Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Christoph Benzmüller, Chad Brown, Jörg Siekmann, Richard Statman, eds.), College Publications, Studies in Logic, Mathematical Logic and Foundations, pp. 386-406, 2008. (Preprint: http://christoph-benzmueller.de/papers/B9.pdf)
Bibtex Entry:
@incollection{B9,
  Author =	 {Christoph Benzm{\"u}ller and Paulson, Lawrence C.},
  Booktitle =	 {Reasoning in Simple Type Theory --- Festschrift in
                  Honor of {Peter B. Andrews} on His 70th Birthday},
  Editor =	 {Christoph Benzm{\"u}ller and Chad Brown and J{\"o}rg
                  Siekmann and Richard Statman},
  Isbn =	 {978-1-904987-70-3},
  Keywords =	 {own, Higher Order Logic, LEO Prover, Semantic
                  Embedding, Modal Logics},
  Note =	 {(Superseded by 2013 paper in Logica Universalis)},
  Pages =	 {386-406},
  Publisher =	 {College Publications},
  Series =	 {Studies in Logic, Mathematical Logic and
                  Foundations},
  Title =	 {Exploring Properties of Normal Multimodal Logics in
                  Simple Type Theory with {LEO-II}},
  Note =	 {Preprint:
                  \url{http://christoph-benzmueller.de/papers/B9.pdf}},
  Year =	 2008,
}