%0 Journal Article
%A Gao, Feng
%A Tourlakis, George
%T A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics
%J Bulletin of the Section of Logic
%D 2015
%V 44
%N 3-4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2015_44_3-4_a0/
%F BSL_2015_44_3-4_a0