Logika modal′nostej znanija i mnenija

V nastojačšej knige sistematičeski rassmotreny i issledovany logiki modal′nostej znanija i mnenija. Avtor original′nym obrazom rešaet problemu «logičeskogo vsevedenija», ispol′zuja semantiku častičnych vozmožnych mirov. Formulirujutsja sootvetstvujučšie sistemy, issledujutsja ich metateoretičeskie osobennosti (korrektnost′, polnota i t. d.), ustanavlivaetsja svjaz′ s drugimi izvestnymi sistemami. Dlja čtenija knigi vpolne dostatočno oznakomit′sja s ėlementami klassičeskoj logiki, a takže načal′nymi ponjatijami teorii množestv, obyčno ispol′zuemymi v prostejšich semantičeskich opredelenijach. Kniga adresovana logikam, filosofam i specialistam v oblasti iskusstvennogo intellekta.