The paper deals with the formalization of the solution to the Kripke’s puzzle about belief that was earlier proposed by the author. The formalization is based on the author’s own theory of actions D, or, more precisely, in a specific extension D(N) of this theory, which is defined in this paper. The author shows that, apart from the formalization of Kripke’s puzzle, D(N) may serve as a tool for the analysis of important concepts in philosophical pragma-semantics, e.g. the distinction between different kinds of truth conditions of an utterance act.