The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study
[article]
2009
arXiv
pre-print
Preserved Fulltext
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.
arXiv:0905.4369v1
fatcat:bcudk2sfdbfq3buikviucbzedu