Institute of Information Science Academia Sinica
講 題: 應用邏輯討論會系列 (XXXIII) -- Strong Modal Theorems and Realization
講 者: 王仁俊 教授 (國立中正大學哲學系)
時 間: 2017-05-19 (Fri) 15:30 – 17:30
地 點: 資訊所新館106演講廳
邀請人: 廖純中

The realization theorem connects justification logic with modal epistemic logic with the implication that there is indeed a  justification structure beneath every epistemic theorem which is concealed in the epistemic formalism. In this paper, we will give an alternative proof procedure for the realization theorem. By a strong theorem, we mean an epistemic theorem whose realization is a theorem in  justification logic without involved. We will show that every epistemic theorem has a related strong theorem and then provide an algorithmic procedure turning the realization of the related strong theorem to the realization of the target epistemic theorem. We prove the existence of the related strong theorems both by a semantic method and by a constructive method.