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

Simple item page
dc.creatorBenzmueller, Christoph
dc.date2009-05-27
dc.date.accessioned2026-07-07T13:18:32Z
dc.date.available2026-07-07T13:18:32Z
dc.descriptionIn 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.
dc.descriptionii + 30 pages
dc.identifierhttps://arxiv.org/abs/0905.4369
dc.identifierhttp://arxiv.org/abs/0905.4369
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/231455
dc.subjectArtificial Intelligence
dc.subjectLogic in Computer Science
dc.subjectI.2.4; I.2.3; F.4.1
dc.titleAutomating Quantified Multimodal Logics in Simple Type Theory -- A Case Study
dc.typetext

Files

Collections

arXiv