Return to Article Details
A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics
Download
Download PDF