Logika modal′nostej znaniya i mneniya

V nastoyashhej knige sistematicheski rassmotreny i issledovany logiki modal′nostej znaniya i mneniya. Avtor original′nym obrazom reshaet problemu «logicheskogo vsevedeniya», ispol′zuya semantiku chastichnych vozmozhnych mirov. Formuliruyutsya sootvetstvuyushhie sistemy, issleduyutsya ich metateoreticheskie osobennosti (korrektnost′, polnota i t. d.), ustanavlivaetsya svyaz′ s drugimi izvestnymi sistemami. Dlya chteniya knigi vpolne dostatochno oznakomit′sya s elementami klassicheskoj logiki, a takzhe nachal′nymi ponyatiyami teorii mnozhestv, obychno ispol′zuemymi v prostejshich semanticheskich opredeleniyach. Kniga adresovana logikam, filosofam i specialistam v oblasti iskusstvennogo intellekta.