Semantics of belief contexts in the natural language analysis

The idea of the presentation addresses to possibility of logical-semantic tools applying in the natural language analysis. Epistemic contexts have been chosen as the most productive for such analysis, since they impose high requirements on systems trying to represent their dynamics. In particular, the truth relation between the sub-operative expression and the complex sentence containing it is not obvious: though the sub-operative expression is false, the complex expression may be true, and vice versa. Another non-obvious point: it is impossible to perform substitution in such contexts based on the values' identity; a coincidence in meaning (synonymy) is required. In this regard, a kind of intuitively transparent scheme of belief contexts semantics' understanding based on the concept of ideal worlds is proposed.