Модальная логика

КомКнига, 2007. — 290 с. В настоящей книге систематически рассмотрены и исследованы логики модальностей знания и мнения. Автор оригинальным образом решает проблему «логического всеведения», используя семантику частичных возможных миров. Формулируются соответствующие системы, исследуются их метатеоретические особенности (корректность, полнота и т.д.), устанавливается связь с другими известными системами. Для чтения книги вполне достаточно ознакоми...

М.: ИФ РАН, 2001. — 176 с. — ISBN 5-201-02063-1. В книге исследуются модальные идеи и теории выдающегося логика XX века Я. Лукасевич. В первых двух главах анализируются две построенные им модальные логики (трехзначная и четырехзначная). В третьей главе предпринимается попытка развить и формализовать его интуитивные представления о детерминизме, истине и причинности. Книга, являющаяся первым в логической литературе исследованием данного аспекта т...

М.: РАН, Институт философии, 2001. — 176 с. В книге исследуются модальные идеи и теории выдающегося логика XX века Я.Лукасевича. В первых двух главах анализируются две построенные им модальные логики (трехзначная и четырехзначная). В третьей главе предпринимается попытка развить и формализовать его интуитивные представления о детерминизме, истине и причинности. Книга, являющаяся первым в логической литературе исследованием данного аспекта творчес...

М.: Изд-во иностранной литературы, 1959. — 384 с. Труд Р.Карнапа "Значение и необходимость" - является заключительным томом eгo исследований по семантике, который имеет самостоятельное значение. Он подводит некоторые итоги эволюции взглядов одного из лидеров логического позитивизма на философию и логическую семантику. Карнап, обосновывая здесь свои теоретико познавательные позиции и вновь подтверждая позитивистскую семантическую концепцию предмет...

М.: Прогресс, 1981. - 424 с. Крипке С.А., Хинтикка Я., Прайор А.Н., Леммон Е., Томасон С.К., Габбай Д.М., Сегерберг К., Файн К., Монтегю Р., Скотт Д., Белнап Н.Д., Роутлей Р., Мейер Р. Семантическое рассмотрение модальной логики. Виды модальности. Модальность и квантификация. Временн'ая логика и непрерывность времени. Алгебраическая семантика для модальных логик. Семантический анализ временн'ых логик. Модальные логики с линейными отношениями альт...

М.: Наука. 1974. 520 с. Одна из лучших монографий по модальной логике. Книга содержит наиболее полное на сегодняшний день, прекрасно построенное и согласованное изложение материала по неклассическим логикам. Модальные логики становятся все более востребованными специалистами по ИИ, занимающимися проблематикой обработки естественных языков, экспертными и управляющими системами и т. д. Библиографическая редкость.