Free variable tableaux for propositional modal logics (0)

by B Beckert, R Goré
Venue:Studia Logica