Аннотация:
Предлагаются характеристики, в терминах моделей Крипке, всех известных расширений модальной системы S4.3 Такое семантическое описание позволяет дать полную картину всего класса систем, расширяющих S4.3. Получены ответы на некоторые нерешенные вопросы [1]. Библ. 4 назв.