Improved Decision Procedures for Multi-modal Tense Logic Using CEGAR-Tableaux.

Rajeev Gor, Cormac Kikkert

Browse the full TABLEAUX paper archive.