Publication A modal logic internalizing normal proofs Information and Computation. 209(12): 1519-1535 (2011) Authors Sungwoo Park Hyeonseung Im Tags formal-methods DOI
