Крипке С.А., Хинтикка Я., Прайор А.Н., Леммон Е., Томасон С.К., Габбай Д.М., Сегерберг К., Файн К., Монтегю Р., Скотт Д., Белнап Н.Д., Роутлей Р., Мейер Р. Семантика модальных и интенсиональных логик

Семантическое рассмотрение модальной логики. Виды модальности. Модальность и квантификация. Временн'ая логика и непрерывность времени. Алгебраическая семантика для модальных логик. Семантический анализ временн'ых логик. Модальные логики с линейными отношениями альтернативности. Общий метод фильтрации для модальных логик. Пропозициональные кванторы в модальной логике. Прагматика и интенсиональная логика. Семантика типа Монтегю для модальных... (Подробнее)