Festschrift in honour of Peter B. Andrews on his 70th birthday. Studies in Logic and the Foundations of Mathematics, chapter Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II (2008)

by Christoph Benzmüller, Lawrence Paulson
Venue:In Fourth International Joint Conference on Automated Reasoning (IJCAR’06), volume 5195 of LNAI