@book{SWP-2009-02,
year={2009},
author={Benzm{\"u}ller, Christoph},
title={Automating Quantified Multimodal Logics in Simple Type Theory --- A Case Study},
note={{\url{http://arxiv.org/abs}}},
series={{SEKI Working-Paper SWP--2009--02 (ISSN 1860--5931)}},
abstract={In a case study we investigate whether off the shelf higher-order theorem provers and model generators can be employed to automate reasoning in and about quantified multimodal logics. In our experiments we exploit the new TPTP infrastructure for classical higher-order logic.},
publisher={{SEKI Publications}},
address={{DFKI Bremen GmbH, Safe and Secure Cognitive Systems, Cartesium, Enrique Schmidt Str.\,5, D--28359 Bremen, Germany}},
}