Refutation Systems for Propositional Modal Logics.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Browse the full TABLEAUX paper archive.