In this note two propositions about the epistemic formalization of Church's Thesis are proved. First it is shown that all arithmetical sentences deducible in Shapiro's system EA of Epistemic Arithmetic from ECT are derivable from Peano Arithmetic PA + uniform reflection for PA. Second it is shown that the system EA + ECT has the epistemic disjunction property and the epistemic numerical existence property for arithmetical formulas.

A general strategy for proving completeness theorems for quantified modal logics is provided. Starting from free quantified modal logic K, with or without identity, extensions obtained either by adding the principle of universal instantiation or the converse of the Barcan formula or the Barcan formula are considered and proved complete in a uniform way. Completeness theorems are also shown for systems with the extended Barcan rule as well as for some quantified extensions of the modal logic B. The incompleteness of (...) Q°.B + BF is also proved. (shrink)

New epistemic principles are formulated in the language of Shapiro's system of Epistemic Arithmetic. It is argued that some plausibility can be attributed to these principles. The relations between these principles and variants of controversial constructivistic principles are investigated. Special attention is given to variants of the intuitionistic version of Church's thesis and to variants of Markov's principle.