A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics

Bulletin of the Section of Logic, Tom 44, Numer 3-4 (2015) s. 131-148
Feng Gao, George Tourlakis

 

do góry