Библиографическое описание

87.452я43 С 30	Статья (мон)
Томасон С. К. Семантический анализ временных логик / Томасон С. К.; перевод А. А. Мучника // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 166-179. Отраслевые рубрики: логика, философские науки Ключевые слова: аксиомы, алгебраическая семантика, временные логики, логическая семантика, модальная логика, модельные структуры, семантический анализ, эквивалентность		отобрать

87.452я43 испр.
С 30
Семантика модальных и интенсиональных логик / Крипке С. А., Хинтикка Я., Прайор А. Н. и др.; составление, общая редакция, вступительная статья В. А. Смирнова; перевод с английского А. А. Мучника, А. П. Никифорова, З. А. Сокулер. - Москва: Прогресс, 1981. - 424 с. [подробнее]

Назад