Габбай Д. М. Общий метод фильтрации для модальных логик / Габбай Д. М.; перевод А. А. Мучника // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 205-211.Отраслевые рубрики: логика, философские науки Ключевые слова: доказательства, индукция, леммы, метод фильтрации, модальная логика, суждение, теоремы
|