Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5.

Linh Anh Nguyen

Browse the full TABLEAUX paper archive.