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

87.452я43 С 30	Статья (мон)
Леммон Е. Алгебраическая семантика для модальных логик I / Леммон Е.; перевод А. А. Мучника // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 98-124. Отраслевые рубрики: логика, философские науки Ключевые слова: алгебра логики, алгебраическая семантика, алгебры, индукция, интерпретации, логическая семантика, матрицы, модальная логика, модальные системы, модельная структура, суждение, теоремы, финитная аппроксимируемость		отобрать

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

Назад