Valentini’s cut-elimination for provability logic resolved
Authors
Rajeev Goré, Revantha Ramanayake
Publication date
2008
Journal
Advances in Modal Logic
Volume
7
Pages
67-86
Total citations
2011201220132014201520162017201820192020202120222023202432272251244552
Scholar articles
R Goré, R Ramanayake - The Review of Symbolic Logic, 2012