Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
ii + 30 pages

Keywords

Artificial Intelligence, Logic in Computer Science, I.2.4; I.2.3; F.4.1

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/231455

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0905.4369
 http://arxiv.org/abs/0905.4369

Collections

arXiv