Quantified Multimodal Logics in Simple Type Theory (bibtex)
by Christoph Benzmüller, Lawrence Paulson
Reference:
Quantified Multimodal Logics in Simple Type Theory (Christoph Benzmüller, Lawrence Paulson), In Logica Universalis (Special Issue on Multimodal Logics), volume 7, number 1, pp. 7-20, 2013.
Bibtex Entry:
@article{J23,
  Author =	 {Christoph Benzm{\"u}ller and Lawrence Paulson},
  Doi =		 {10.1007/s11787-012-0052-y},
  Journal =	 {Logica Universalis (Special Issue on Multimodal
                  Logics)},
  Keywords =	 {own, Higher Order Logic, Semantic Embedding, Modal
                  Logics, Henkin Semantics},
  Number =	 1,
  Pages =	 {7-20},
  Title =	 {Quantified Multimodal Logics in Simple Type Theory},
  Url =		 {http://christoph-benzmueller.de/papers/J23.pdf},
  Volume =	 7,
  Year =	 2013,
}
Powered by bibtexbrowser