Козаченко Н. П. Логіка перегляду переконань: пізнавальні дії як модальні оператори

English version

Дисертація на здобуття ступеня кандидата наук

Державний реєстраційний номер

0411U000101

Здобувач

Спеціальність

  • 09.00.06 - Логіка

24-12-2010

Спеціалізована вчена рада

Д 26.161.01

Анотація

Дисертацію присвячено розробці формального механізму для вивчення динамічних аспектів перегляду переконань із застосуванням апарату динамічної модальної логіки MDL. Проаналізовано основні традиції досліджень перегляду переконань: постулатний підхід AGM і динамічна стратегія DDL.

Файли

Схожі дисертації