Verified Decision Procedures for Modal Logics.

Minchao Wu, Rajeev Gor

Browse the full ITP paper archive.