Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II (bibtex)
by Christoph Benzmüller, Lawrence Paulson
Reference:
Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II (Christoph Benzmüller, Lawrence 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. (Url (preprint): http://christoph-benzmueller.de/papers/B9.pdf)
Bibtex Entry:
@incollection{B9,
  Author =	 {Christoph Benzm{\"u}ller and Lawrence Paulson},
  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 article 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 =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/B9.pdf}},
  Year =	 2008,
}
Powered by bibtexbrowser