Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq

Published in TABLEAUX 2021, 2021

Recommended citation: Goré, Rajeev, Ramanayake, Revantha and Shillito, Ian. (2022). "Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq" TABLEAUX 2021.
Download Paper