Multimodal and Intuitionistic Logics in Simple Type Theory (bibtex)
by Christoph Benzmüller, Lawrence Paulson
Reference:
Multimodal and Intuitionistic Logics in Simple Type Theory (Christoph Benzmüller, Lawrence Paulson), In The Logic Journal of the IGPL, volume 18, number 6, pp. 881-892, 2010.
Bibtex Entry:
@article{J21,
  Author =	 {Christoph Benzm{\"u}ller and Lawrence Paulson},
  Doi =		 {10.1093/jigpal/jzp080},
  Journal =	 {The Logic Journal of the IGPL},
  Keywords =	 {own, Higher Order Logic, LEO Prover, Semantic Embedding,
                  Modal Logics, Combinations of Logics, Henkin
                  Semantics, ERIH PLUS},
  Number =	 6,
  Pages =	 {881-892},
  Title =	 {Multimodal and Intuitionistic Logics in Simple Type
                  Theory},
  Url =		 {http://christoph-benzmueller.de/papers/J21.pdf},
  Volume =	 18,
  Year =	 2010,
}
Powered by bibtexbrowser