Prefixed Tableau Systems for Logic of Proofs and Provability.

Hidenori Kurokawa

Browse the full TABLEAUX paper archive.