A benchmark method for the propositional modal logics K, KT, S4

TitleA benchmark method for the propositional modal logics K, KT, S4
Publication TypeTechnical Reports
Year of Publication1996
AuthorsHeuerding, A, Schwendimann, S
URLhttp://www.iam.unibe.ch/ltgpub/1996/hs96b.ps