Free Variable Tableaux for Propositional Modal Logics.

Bernhard Beckert, Rajeev Gor

Browse the full TABLEAUX paper archive.