Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study (bibtex)
by Christoph Benzmüller
Reference:
Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study (Christoph Benzmüller), SEKI Publications (ISSN 1437-4447), SEKI Working-Paper SWP-2009-02, 2009. (arXiv:0905.4369)
Bibtex Entry:
@techreport{R46,
  Address =	 {{DFKI Bremen GmbH, Safe and Secure Cognitive
                  Systems, Cartesium, Enrique Schmidt Str.\,5,
                  D--28359 Bremen, Germany}},
  Author =	 {Benzm{\"u}ller, Christoph},
  Note =	 {arXiv:0905.4369},
  Institution =	 {Saarland University},
  Publisher =	 {{SEKI Publications (ISSN 1437-4447)}},
  Series =	 {{SEKI Working-Paper SWP-2009-02}},
  Title =	 {Automating Quantified Multimodal Logics in Simple
                  Type Theory -- A Case Study},
  Url =		 {http://arxiv.org/abs/0905.4369},
  Year =	 2009,
}
Powered by bibtexbrowser