@article{J23,
  Author =	 {Christoph Benzm{\"u}ller and Paulson, Lawrence C.},
  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_preprint = {https://www.researchgate.net/publication/221677897},
  Volume =	 7,
  Year =	 2013,
}

{"_id":"5S3HfsNjAxfH34EDJ","bibbaseid":"benzmller-paulson-quantifiedmultimodallogicsinsimpletypetheory-2013","author_short":["Benzmüller, C.","Paulson, L. C."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"propositions":[],"lastnames":["Paulson"],"firstnames":["Lawrence","C."],"suffixes":[]}],"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_preprint":"https://www.researchgate.net/publication/221677897","volume":"7","year":"2013","bibtex":"@article{J23,\n Author =\t {Christoph Benzm{\\\"u}ller and Paulson, Lawrence C.},\n Doi =\t\t {10.1007/s11787-012-0052-y},\n Journal =\t {Logica Universalis (Special Issue on Multimodal\n Logics)},\n Keywords =\t {own, Higher Order Logic, Semantic Embedding, Modal\n Logics, Henkin Semantics},\n Number =\t 1,\n Pages =\t {7-20},\n Title =\t {Quantified Multimodal Logics in Simple Type Theory},\n url_preprint = {https://www.researchgate.net/publication/221677897},\n Volume =\t 7,\n Year =\t 2013,\n}\n\n","author_short":["Benzmüller, C.","Paulson, L. C."],"key":"J23","id":"J23","bibbaseid":"benzmller-paulson-quantifiedmultimodallogicsinsimpletypetheory-2013","role":"author","urls":{" preprint":"https://www.researchgate.net/publication/221677897"},"keyword":["own","Higher Order Logic","Semantic Embedding","Modal Logics","Henkin Semantics"],"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":["own","higher order logic","semantic embedding","modal logics","henkin semantics"],"search_terms":["quantified","multimodal","logics","simple","type","theory","benzmüller","paulson"],"title":"Quantified Multimodal Logics in Simple Type Theory","year":2013,"downloads":3}