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

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