暂无分享，去创建一个
Gary H. Merrill
[1] G. H. Merrill. Formalization, possible worlds and the foundations of modal logic , 1978 .