Modal logic Normal modal logic Kripke semantics Chellas, B. F. (1980) Modal Logic: An Introduction.
Модальная логика Нормальная модальная логика Семантика Крипке Chellas, B. F. (1980) Modal Logic: An Introduction.