A modal logic internalizing normal proofs

Sungwoo Park, Hyeonseung Im. A modal logic internalizing normal proofs. Inf. Comput., 209(12):1519-1535, 2011. [doi]

Abstract

Abstract is missing.