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

Книга адресована логикам, философам и специалистам в области искусственного интеллекта.