Intuitionistic truth (Q1062982)

The paper considers formally slight variants of familiar logical laws that Kripke, Beth and others have related to intuitionistic truth. The author notes that they also hold for other kinds of 'epistemic accessibility' (p. 210), for example, d-verifiability on p. 198. In the tradition of the socalled theory of meaning the author stresses, on p. 191, that 'the whole realm of truth' is considered, and not merely mathematical statements. But he fails to stress that - as long as only familiar logical languages are considered, as in the present paper - this is a distinction without any difference (in validity).