A translation from the modal logic of provability into K4
暂无分享,去创建一个
[1] George Boolos,et al. Provability: the emergence of a mathematical modality , 1991, Stud Logica.
[2] Martín Abadi,et al. Modal Theorem Proving , 1986, CADE.
[3] M. Fitting. Proof Methods for Modal and Intuitionistic Logics , 1983 .