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