Publié le : 1994-03-14
Classification:
03B45,
03B20,
03B30,
03F30
@article{1094061865,
author = {Horsten, Leon},
title = {Modal-epistemic variants of Shapiro's system of epistemic arithmetic.},
journal = {Notre Dame J. Formal Logic},
volume = {35},
number = {2},
year = {1994},
pages = { 284-291},
language = {en},
url = {http://dml.mathdoc.fr/item/1094061865}
}
Horsten, Leon. Modal-epistemic variants of Shapiro's system of epistemic arithmetic.. Notre Dame J. Formal Logic, Tome 35 (1994) no. 2, pp. 284-291. http://gdmltest.u-ga.fr/item/1094061865/