87.4 С 30 Сесерберг К. Модальные логики с линейными отношениями альтернативности / Сесерберг К.; перевод А. Л. Никифорова // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 180-204. [подробнее]
87.4 С 30 Томасон С. К. Семантический анализ временных логик / Томасон С. К.; перевод А. А. Мучника // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 166-179. [подробнее]
87.4 С 30 Леммон Е. Алгебраическая семантика для модальных логик II / Леммон Е.; перевод А. А. Мучника // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 125-165. [подробнее]
87.4 С 30 Леммон Е. Алгебраическая семантика для модальных логик I / Леммон Е.; перевод А. А. Мучника // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 98-124. [подробнее]
87.4 С 30 Прайор А. Н. Временная логика и непрерывность времени / Прайор А. Н.; перевод З. А. Сокулер // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 76-97. [подробнее]
87.4 С 30 Хинтикка Я. Модальность и квантификация / Хинтикка Я.; перевод А. Л. Никифорова // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 60-75. [подробнее]
87.4 С 30 Хинтикка Я. Виды модальности / Хинтикка Я.; перевод А. Л. Никифорова // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 41-59. [подробнее]
87.4 С 30 Крипке С. А. Семантическое рассмотрение модальной логики / Крипке С. А.; перевод А. Л. Никифорова // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 27-40. [подробнее]
87.4я43 С 30 Семантика модальных и интенсиональных логик / Крипке С. А., Хинтикка Я., Прайор А. Н. и др.; составление, общая редакция, вступительная статья В. А. Смирнова; перевод с английского А. А. Мучника, А. П. Никифорова, З. А. Сокулер. - Москва: Прогресс, 1981. - 424 с. [подробнее]
87.4 Б 434 Белнап Н. Логика вопросов и ответов / Белнап Н.; переводчики С. С. Луговской, Г. Е. Крейдлина; общая редакция, предисловие, примечание В. А. Смирнова, В. К. Финна. - Москва: Прогресс, 1981. - 288 с. - Библиогр.: с. 266. [подробнее]