Епістемічна логіка
Вступ
Епістемічна логіка зявилася наприкінці 1950-х - початку 1960-х років завдяки блискучим роботам К. Геделя, Г. фон Врігга, А. Прайора й, насамперед, Я. Хіітикки, які виявили, що структури й закономірності, повязані з поняттями "знання", "думка", "переконання", можуть бути представлені у вигляді аксіоматичних дедуктивних систем. Вона розвивалася пліч-о-пліч із модальною й інтенсіональною логіками, довгий час розділяючи з ними досить зручний і філософськи привабливий спосіб інтерпретації семантику можливих мирів.