87.452я43 С 30 Роутлей Р. Семантика следования / Роутлей Р., Мейер Р.; перевод А. Л. Никифорова // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 363-421. [подробнее]
87.452я43 С 30 Белнап Н. Д. Интенсиональные модели для формул первой ступени / Белнап Н. Д.; перевод А. Л. Никифорова // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 325-362. [подробнее]
87.452я43 С 30 Скотт Д. Советы по модальной логике / Скотт Д.; перевод З. А. Сокулер // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 280-317. [подробнее]
87.452я43 С 30 Габбай Д. М. Семантика типа Монтегю для модальных логик с пропозиционными кванторами / Габбай Д. М.; перевод А. А. Мучника // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 318-324. [подробнее]
87.452я43 С 30 Монтегю Р. Прагматика / Монтегю Р.; перевод З. С. Сокулер // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 254-279. [подробнее]
87.452я43 С 30 Монтегю Р. Прагматика и интенсиональная логика / Монтегю Р.; перевод З. С. Сокулер // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 223-253. [подробнее]
87.452я43 С 30 Файн К. Пропозициональные кванторы в модальной логике / Файн К.; перевод З. С. Сокулер // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 212-222. [подробнее]
87.452я43 С 30 Габбай Д. М. Общий метод фильтрации для модальных логик / Габбай Д. М.; перевод А. А. Мучника // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 205-211. [подробнее]
87.452я43 С 30 Сесерберг К. Модальные логики с линейными отношениями альтернативности / Сесерберг К.; перевод А. Л. Никифорова // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 180-204. [подробнее]
87.452я43 С 30 Томасон С. К. Семантический анализ временных логик / Томасон С. К.; перевод А. А. Мучника // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 166-179. [подробнее]
Блог Мишки Б.
