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

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

27 May 2009

Christoph Benzmüller

ArXiv (abs)PDF HTML

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

Title
No papers