论文信息 - Modal-Epistemic Variants of Shapiro's System of Epistemic Arithmetic - 字舞流文

Modal-Epistemic Variants of Shapiro's System of Epistemic Arithmetic

Leon Horsten | L. Horsten

[1] Stewart Shapiro,et al. Epistemic and Intuitionistic Arithmetic , 1985 .

[2] Max J. Cresswell,et al. A companion to modal logic , 1984 .

[3] Harvey M. Friedman,et al. Epistemic and intuitionistic formal systems , 1986, Ann. Pure Appl. Log..

[4] Nicolas D. Goodman,et al. Epistemic arithmetic is a conservative extension of intuitionistic arithmetic , 1984, Journal of Symbolic Logic.