Non-wellfounded Proof Theory for Interpretability Logic.

Sebastijan Horvat, Borja Sierra Miranda, Thomas Studer

Browse the full TABLEAUX paper archive.