dc.contributor.author	Козаченко, Надія Павлівна
dc.date.accessioned	2018-01-16T06:52:26Z
dc.date.available	2018-01-16T06:52:26Z
dc.date.issued	2010-12-25
dc.identifier.citation	Козаченко Н. П. Логіка перегляду переконань: пізнавальні дії як модальні оператори : дис ... канд. філос. наук: 09.00.06 / Надія Павлівна Козаченко. – Київ, 2010.	uk
dc.identifier.uri	http://elibrary.kdpu.edu.ua/handle/0564/1732
dc.identifier.uri	https://doi.org/10.31812/0564/1732
dc.description	1. Васильченко А. Проблема інтенціональності дії в сучасній аналітичній філософії / А. Васильченко // Часопис “Дух і літера”. – К. : Дух і літера, 2003. – №11-12. – С. 138-151. 2. Войшвилло Е.K. Семантика релевантной логики и вопрос о природе логических законов / Е.K Войшвилло // Разум и культура. Труды международного франко-советского коллоквиума. – М. : Издательство МГУ, 1983. – С. 69-76. 3. Ишмуратов А. Т. Логический анализ практических рассуждений / А. Т. Ишмуратов. – К, 1987. – 138 c. 4. Ішмуратов А.Т. Вступ до філософської логіки / А. Т. Ішмуратов. – К, 1997. – 350 c. 5. Смирнов В.А. Логические методы анализа научного знания / В.А. Смирнов. – М. : Наука, 1987. – 256 c. 6. Карнап Р. Значение и необходимость / Р. Карнап. – М. : Издательство ЛКИ, 2007. – 380 c. 7. Карпенко А. С. Логика на рубеже тысячелетий / А. С. Карпенко // Логические исследования. – М. : Наука, 2000. – №7. – С. 7-60. 8. Клини С. Математическая логика / С. Клини. – М, 1973. – 480 c. 9. Козаченко Н.П. Знання і переконання як категорії логіки та філософії / Н.П. Козаченко // Актуальні проблеми духовності. Зб. наук. праць / ред.: Шрамко Я.В. – Кривий Ріг, 2004. – №5. – С. 128-142. 10. Козаченко Н.П. Побудова динамічної логіки перегляду знань / Н.П. Козаченко // Проблеми гуманітарних наук. Наукові записки ДДПУ. – Дрогобич : Вимір, 2004. – Вип. 13. – С. 66-75. 11. Козаченко Н.П. Модели изменения убеждений: некоторые открытые проблемы / Н.П. Козаченко // Актуальні проблеми духовності : [ Зб. наук. праць / ред.: Шрамко Я.В.]. – Кривий Ріг : Видавничий Дім, 2006. – №7. – С. 218-230. 12. Козаченко Н.П. Проблемы построения доксастических моделей / Н.П. Козаченко // Актуальні проблеми духовності : [ Зб. наук. праць / ред.: Шрамко Я.В.]. – Кривий Ріг : Видавничий Дім, 2007. – №8. – С. 245-258. 191 13. Козаченко Н.П. Эпистемические модели: принципы построения и структура AGM / Н.П. Козаченко // Гуманитарное измерение меняющегося мира : [Сборник статей кафедры Философии и Гуманитарных Наук]. – М. : Издат. центр ЕАОИ, 2008. – С. 249-263. 14. Козаченко Н.П. Динамика познавательных действий: AGM и DDL / Н.П. Козаченко // Актуальні проблеми духовності : [ Зб. наук. праць / ред.: Шрамко Я.В.]. – Кривий Ріг : Видавничий Дім, 2008. – №9. – С. 373-390. 15. Козаченко Н. П. Критерии рациональности изменения убеждений: непротиворечивость / Н. П. Козаченко // Логические исследования / [отв. ред. А. С. Карпенко] ; Ин-т философии РАН. – М. ; СПб : ЦГИ, 2010. – Вып. 16. – С. 134–156. 16. Козаченко Н.П. Смена убеждений как логико-этическая проблема / Н.П. Козаченко // Роль науки, релігії та суспільства у формуванні моральної особистості : Матеріали ХVI Міжнародної науковопрактичної конференції. – Донецьк : ІПШІ «Наука і освіта», 2003. – С. 135-138. 17. Козаченко Н.П. Аксиомы сокращения знаний / Н.П. Козаченко // Інформоенергетика ІІІ-го тисячоліття: соціолого-синергетичний та медико-екологічний підход : [ Зб. наук. праць / ред.: Лобанова А.С. та ін.]. – Київ ; Кривий Ріг, 2003р. – С. 72-74. 18. Конверський А. Є. Логіка (традиційна та сучасна): Підручник / А. Є. Конверський. – К. – 2004. – 440 c. 19. Конверский А.Е. Теория и ее обоснование / А.Е. Конверский. – К. : ВІПОЛ, 2000. – 180 с. 20. Костюк В.Н. Элементы модальной логики / В.Н. Костюк. – Киев, 1978. – 179с. 21. Кримський С.Б. Трансформація методологічної свідомості науки / С.Б. Кримський // Наука та наукознавство. Міжнародний науковий журнал. – 1996. – № 3-4. – С.32-38. 22. Кримський С.Б. Запити філософських смислів / С.Б. Кримський. – К. : ПАРАПАН, 2003. – 240 с. 23. Кузнєцов В.І. Нечіткі поняття та відношення між ними / В.І. 192 Кузнєцов // Проблеми теорії ментальності. / М.В.Попович та ін.– К. : Наук. Думка, 2006. – С. 163-197. 24. Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики / Я. Лукасевич. – М., 1959. – 311 c. 25. Лук’янець В. С. Науковий світогляд на зламі століть / Лук’янець В. С., Кравченко О. М., Озадовська Л. В., Мороз О. Я. – К. : ПАРАПАН, 2006. – 213 c. 26. Навроцький В. Колективні ментальні поняття: логіка, методологія і філософія науки / В. Навроцький // Філософська думка. – 2005. – №2. – С. 3-12. 27. Навроцький В.В. Колективність та етнічність / В. В. Навроцький // Проблеми теорії ментальності / М.В.Попович та ін. – К. : Наук. Думка, 2006. – 408 с. 28. Навроцький В.В. Аналітична соціальна філософія про колективні феномени / В. В. Навроцький // Актуальні проблеми духовності: [Зб. наук. праць / ред.: Шрамко Я.В.]. – Кривий Ріг, 2009. – Вип.10. – С. 293-301. 29. Навроцький В.В. Інференціалізм: ментальні стани чи ментальні статуси / В. В. Навроцький // Філософська думка. – 2008. – № 3. – С. 3-13. 30. Омельянчик В. И. Возможность, структура, действие: введение в модальный реалізм / В. И. Омельянчик. – Киев : Наукова думка, 1991. – 207 с. 31. Пенроуз Р. Новый ум короля. О компьютерах, мышлении и законах физики / Р.Пенроуз. – М. : УРСС, 2005. – 384 c. 32. Полани М. Личностное знание: на пути к посткритической философии / М. Полани. – М., 1985. – 344 с. 33. Попович М. В. Философские вопросы семантики / М. В. Попович. – К., 1975. – 299 c. 34. Попович М.В. Гуманістичні орієнтири науки на порозі XXI століття / М. В. Попович // Вісн. НАН України. – 2004. – № 1. – С. 39-42. 35. Попович М.В. Поняття «дискурс» у метафоричному та логіколінгвістичному розумінні / М. В. Попович // Філософ. думка. – 2003. – № 1. – С. 27-36. 193 36. Поппер К. Миф концептуального каркаса / К. Поппер //Логика и рост научного знания / К. Поппер – М. : Прогресс, 1983. – С.558-593. 37. Поспелов Д. А. Десять «горячих точек» в исследованиях по искусственному интеллекту / Д. А. Поспелов // Интеллектуальные системы. – М. : Издательство МГУ, 1996. – Т.1, вып. 1-4. – C.47-56. 38. Поспелов Д. А. Моделирование рассуждений. Опыт анализа мыслительных актов / Д. А. Поспелов // Радио и связь. – 1989. – 184 с. 39. Смирнова Е.Д. Логическая семантика и философские основания логики / Е.Д. Смирнова. – М., 1986. – 161 c. 40. Смирнова Е.Д. Основы логической семантики / Е.Д. Смирнова. – М., 1990. – 143 c. 41. Тейз А. Логический подход к искусственному интеллекту. От модальной логики к логике баз данных / Тейз А., Грибомон П., Юлен Г. – М. : Мир, 1998. – 494 c. 42. Теплицький І. О. Елементи комп’ютерного моделювання / І. О. Теплицький. – Кривий Ріг : КДПУ, 2005. – 208 с. 43. Тулмин С. Человеческое понимание / С. Тулмин. – М. : Прогресс, 1984. – 327с. 44. Фейс Р. Модальная логика / Р. Фейс. – М., 1974. 45. Фреге Г. Смысл и денотат / Г. Фреге // Семиотика и информатика. – М., 1997. – Вып. 35. – С. 351 – 379. 46. Хоменко І.В. Що таке логіка / І.В. Хоменко // Барви творчості. – К.,1995. – С. 83-95. 47. Хоменко І.В. Логіка: підручник / І.В. Хоменко. – К., 2007. – 336 c. 48. Хоменко І.В. Логіка: теорія та практика / І.В. Хоменко. – К. : ЦУЛ, 2010. 49. Шрамко Я.В. Логико-эпистемологические предпосылки развития знаний / Я.В. Шрамко // Актуальні проблеми духовності : [Зб. наук. праць. / ред.: Шрамко Я.В.]. – Кривий Ріг : «І.В.І», 2002. – №4 – С. 151-162. 50. Шрамко Я.В. Ревизия знаний как проблема научной эпистемологии / Я.В. Шрамко // Комп’ютерне моделювання та інформаційні технології в освітній діяльності. – Кривий Ріг, 1999. – С. 34-45. 194 51. Шрамко Я.В. Знания и убеждения: их развитие и критический пересмотр / Я.В. Шрамко // Философия науки. – 2005. – №1(24). – С. 3-19. 52. Шрамко Я. В. Некоторые проблемы аналитической эпистемологии / Я.В. Шрамко // Логос. – 2006. – № 1 (52). – С. 3-25. 53. Шрамко Я. В. Парадокс познаваемости мира / Я.В. Шрамко // Логика: Перспективы развития. – Киев : Изд-во Киевского университета, 2006. – С. 101-107. 54. Юдин Б.Г. Методологический анализ как направление изучения науки / Б.Г. Юдин. – М. : Наука, 1986. – 261с. 55. Areces C. Iterable AGM functions / Areces C. Becher V. ; In H. Rott and M.-A. Williams, editors // Frontiers in Belief Revision. – Kluwer Academic Publisher, 1999. 56. Alchourron C. Philosophical foundations of deontic logic and the logic of defeasible conditionals / Alchourron C. ; In J.J.Meyer and R. J. Wieringa, editors // Deontic Logics in Computer Science: Normative System Specification. – Chichester : Wiley & Sons, 1994. – P. 43-84. 57. Alchourron C. Detachment and defeasibility in deontic logic / C. Alchourron // Studia Logica. – 1996. – Vol. 51. – P.5-18. 58. Alchourron C. On the logic of theory change: Partial meet contraction and revision functions / C. Alchourron, P. Gardenfors, D. Makinson // Journal of Symbolic Logic. – 1985.– Vol. 50. – P. 510-530. 59. Alchourron C. Hierarchies of regulations and their logic / C. Alchourron, D. Makinson ; In Risto Hilpinen, editor // New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics. – 1981. – Р. 125-148. 60. Alchourron C. On the logic of theory change: Contraction functions and their associated revision functions / C. Alchourron, D. Makinson // Theoria. – 1982. – Vol. 48. – P. 14-37. 61. Alchourron C. On the logic of theory change: Safe contraction / C. Alchourron, D. Makinson // Studia Logica. – 1985 – Vol. 44. – P. 405- 422. 62. Alchourron C. Maps between some differents kinds of contraction functions: The finite case / C. Alchourron, D. Makinson //Studia Logica. – 1986. – Vol. 45. – P. 187-198. 195 63. Anderson A. R. Entailment: Logic of Relevance and Necessity / A. R. Anderson, N. D. Belnap, J. M. Dunn. – Princeton : Princeton University Press, 1992. – Vol. 2. 64. Aucher G. A. Combination System for Update Logic and Belief Revision : Master's thesis ILLC / G. A. Aucher. – Amsterdam, 2003. 65. Baltag A. The Logic of Common Knowledge, Public Announcements, and Private Suspicion / A. Baltag, L. Moss, S. Solecki // Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 98) / Itzhak Gillboa ed. – Evanston, 1998. – Р. 43-56. 66. Baltag A. Dynamic Belief Revision over Multi-Agent Plausibility Model / A. Baltag, S. Smets // Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 06). – Liverpool, 2006. 67. Baltag A. The Logic of Conditional Doxastic Actions: A theory of dynamic multi-agent belief revision / A. Baltag, S. Smets // Proceedings of the Workshop on Rationality and Knowledge (ESSLLI) / S. Artemov and R. Parikh ed. – Malaga, 2006. 68. Barwise J. Interpolation Preservation and Pebble Games / J. Barwise, J. van Benthem // Journal of Symbolic Logic. – 1999. – Vol. 64. – P. 881-903. 69. Boutilier C. Conditional Logics of Normality: a Modal Approach / C. Boutilier // Artificial Intelligence. – 1994. – Vol. 68. – P.87-154. 70. Burgin M. Properties in Science and Their Modelling / M. Burgin, V. Kuznetsov // Quality and Quantity. – 1993. – Vol. 27. – P. 371-382. 71. Burgess J. Basic Tense Logic / J. Burgess // Handbook of philosophical logic. – Reidel, 1984. – Vol. 2 – P. 89-133. 72. Benthem J. van The Logic of Time [Second Edition] / J. van Benthem – Kluwer Academic Publisher, 1991. 73. Benthem J. van Semantic Parallels in Natural Language and Computation / J. van Benthem // Logic Colloquium Granada North-Holland / Ebbinghaus H.-D. et al. ed.. – Amsterdam, 1989. – P. 331-375. 74. Benthem J. Changing Preferences :Tech Report CS-93-10 / J. van Benthem, J. van Eijck, A. Frolova ; Center for Mathematics and Computer Science. – Amsterdam, 1993. 75. Benthem J. van Structural Properties of Dynamic Reasoning / J. van Benthem // Meaning: the Dynamic Turn. – Amsterdam, 2003. – 196 P. 15-31. 76. Benthem J. van Diversity of Logical Agents in Games / J. van Benthem, F. Liu // Philosophia Scientiae. – 2004. – Vol. 8(2). – P. 163-178. 77. Benthem J. van Dynamic logic for belief revision / J. van Benthem // Journal of Applied Non-Classical Logics. – 2004. – Vol. 14. 78. Benthem J. van Dynamic Logic of Preference Upgrade : Tech Report, PP2005-29 / J. van Benthem, F. Liu. – Amsterdam, 2005. 79. Benthem J. van Common Knowledge in Update Logics / J. van Benthem, J. van Eijck, B. Kooi // Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005). – Singapore, 2005. – P. 253-261. 80. Benthem J. van Open Problems in Logical Dynamics / J. van Benthem // Mathematical Problems from Applied Logics / T. Rozhkovskaya ed. – New York : Springer, 2006. 81. Benthem J. van Logics for Preference Ceteris Paribus / J. van Benthem, P. Girard, O. Roy. – Stanford University Press, 2006. 82. Benthem J. van Dynamic Logic of Preference Upgrade / J. van Benthem, F. Liu // Journal of Applied Non-Classical Logic. – 2004 – Vol. 14(2). 83. Benthem J. van The Tree of Knowledge in Action: Towards a Common Perspective / J. van Benthem, E. Pacuit // Advances in Modal Logic. – 2006. 84. Cantwell J. On the logic of small change in hypertheories / J. Cantwell // Theoria. – 1999. – Vol 63. – P. 54-89 85. Cantwell J. Some logics of iterated belief change / J. Cantwell // Studia Logica. – 1999. – Vol. 63. – P. 49-84. 86. Chisholm R. Theory of Knowledge / R. Chisholm – N.J., 1989. 87. Dalal M. Investigations into a theory of knowledge base revision: Preliminary report /Makesh Dalal // Seventh National Converence on Artificial Intelligence (AAAI-88). – St. Paul, 1988. – P. 475-479. 88. Ditmarsch H. van Prolegomena to Dynamic Logic for Belief Revision: Knowledge, Rationality & Action / H. van Ditmarsch // Synthese. – 2005. – Vol. 147(2). – P. 229-275. 89. Ditmarsch H. van Dynamic Epistemic Logic / H. van Ditmarsch, W. van der Hoek, B. Kooi. – Berlin : Springer, 2006. 197 90. Doyle J. A truth maintenance system / J. Doyle // Artificial Intelligence. – 1979. – Vol.12. – P. 231-272. 91. Doyle J. Reason maintenance and belief revision: Foundations versus coherence theories / J. Doyle // Belief Revision / In Peter Gardenfors, editor. – Cambridge University Press, 1992. – Vol. 29. – P. 29-51. 92. Dubois D. Belief change and possibilistic logic / D. Dubois, H. Prade // Belief Revision / In Peter Gardenfors, editor. – Cambridge University Press, 1992. – Vol. 29. – P. 142-182. 93. Fagin R. Updating Logical Databases / R. Fagin, G. Kuper, J. Ullman, M. Vardi // Advances in Computing Research / Kannelakis P., Preparata F. eds. – 1999. – Vol. III – P. 1-18. 94. Fagin R. Reasoning about Knowledge / R. Fagin, J. Halpern, Y. Moses, M. Vardi. – Cambridge : The MIT Press, 1995. 95. Fagin R. On the semantics of updates in databases: Preliminary report / R. Fagin, J. Ullman, M. Vardi // Proceedings of Second ACM SIGACTSIGMOD Symposium on Principles of Database Systems. – 1983. – P. 352-365. 96. Feldman R. Epistemological Duties / R. Feldman // Oxford handbook of epistemology. – N.Y., 2002. – P. 362-385. 97. Ferme E. A little note about maxichoice and epistemic entrenchment : manuscript / E. Ferme– Proceedings Workshop on Logic, Language, Information and Computation Wollic`99. – Itatiaia, 1999. – P. 111-114. 98. Ferme E. On the logic of theory change: Contraction without recovery / E. Ferme // Journal of Logic, Language and Information. – 1998. – Vol. 7. – P. 127-137. 99. Ferme E. A brief note about the Rott contraction / E. Ferme, R. Rodriguez // Logic Journal of the IGPL.– 1998. – Vol. 6(6). – P. 835-842. 100. Ferme E. Five faces of recovery / Ferme E. // Frontiers in Belief Revision / H.Rott and M-A Williams, editors. – Kluwer Academic Publisher, 1999. 101. Ferme E. Selective revision / E. Ferme, S.O. Hansson // Studia Logica. – 1999. – Vol. 63 – P. 331-342. 102. Ferme E. Irrevocable belief revision and epistemic entrenchment / E. Ferme // Logic Journal of the IGPL. – Oxford University Press, 2000. – Vol. 8 (5). – P. 645-652. 198 103. Ferme E. Revision by Comparison / E. Ferme, H. Rott // Artificial Intelligence. – 2004. – Vol. 157. – P. 5–47. 104. Fuhrmann A. Relevant Logics, Modal Logics and Theory Change : PhD thesis / A. Fuhrmann ; Australian National University. – Canberra, 1988. 105. Fuhrmann A. Reflective modalities and theory change / A. Fuhrmann //Synthese.– 1989. – Vol. 81(1). – P. 115-134. 106. Fuhrmann A. Theory contraction through base contraction / A. Fuhrmann // Journal of Philosophical Logic. – 1991. – Vol. 20. – P. 175-203. 107. Fuhrmann A. An Essay on Contraction / A. Fuhrmann. – Stanford : CSLI, 1997. 108. Fuhrmann A. A Survey of Multiple Contractions / A. Fuhrmann, S. O. Hansson // Journal of Logic, Language and Information.– 1994. – Vol. 3 – P. 76. 109. Gardenfors P. Conditionals and changes of belief / P. Gärdenfors // Ada Philosophica Fennica. – 1978. – Vol. 30. – P. 381-404. 110. Gardenfors P. Rules for rational changes of belief / P. Gärdenfors // Philosophical Studies / In Tom Pauli, editor. – 1982. – Vol. 34. – P. 88-101. 111. Gardenfors P. Knowledge in Flux: Modeling the Dynamics of Epistemic States / Peter Gärdenfors. – Cambridge : The MIT Press. – 1988. 112. Gardenfors P. The dynamics of belief systems: foundations versus coherence theories / P. Gärdenfors // Reveu Internationale de Philosophic. – 1990. – Vol. 44. – P. 24-46. 113. Gardenfors P. Revisions of knowledge systems using epistemic entrenchment / P. Gardenfors, D. Makinson // Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge / In Moshe Y. Vardi, editor. – Los Altos, 1988. – P. 83-95. 114. Gardenfors P. Belief revision / P. Gärdenfors, H. Rott // Handbook of Logic in Artificial Intelligence and Logic Programming. – 1995. – Vol. IV. 115. Gomolinska A. On the Logic of Acceptance and Rejection / A. Gomolinska // Studia Logica. –1998. – Vol. 60. – P. 233–251. 116. Grove A. Two modellings for theory change / A. Grove // Journal of Philosophical Logic. –1988. – Vol. 17. – P. 157-170. 117. Hansson S. O. New operators for theory change / S. O. Hansson // Theoria. – 1989. – Vol. 55. – P. 114-132. 199 118. Hansson S. O. Belief Base Dynamics : PhD thesis / S. O. Hansson. – Uppsala University, 1991. 119. Hansson S. O. Belief contraction without recovery / S. O. Hansson // Studia Logica.– 1991. – Vol. 50. – P. 251-260. 120. Hansson S. O. A dynamic representation of belief / S. O. Hansson // Belief Revision / In Peter Gardenfors, editor. – Cambridge University Press, 1992. – P. 89-121. 121. Hansson S. O. Ten Philosophical Problems in Belief Revision / S. O. Hansson // Journal of Logic and Computation. – 2003. – Vol. 13(1). – P. 37-49. 122. Hansson S. O. Changes of disjunctively closed bases / S. O. Hansson // Journal of Logic, Language and Information. – 1993. – Vol. 2. – P. 255- 284. 123. Hansson S. O. Reversing the Levi identity / S. O. Hansson // Journal of Philosophycal Logic. – 1993. – Vol. 22. – P. 637-669. 124. Hansson S. O. Theory contraction and base contraction unified / S. O. Hansson // Journal of Symbolic Logic. – 1993. – Vol. 58. – P. 602- 625. 125. Hansson S. O. Kernel contraction / S. O. Hansson // Journal of Symbolic Logic. – 1994. – Vol. 59. – P. 845-859. 126. Hansson S. O. Taking belief bases seriously / S. O. Hansson // Logic and Philosophy of Science / In Prawitz and Westerstahl, editors. – Dordrecht : Kluwer Academic Publishers, 1994. – P. 13-28. 127. Hansson S. O. Knowledge level analysis of belief base operation / S. O. Hansson // Artificial Intelligence. – 1996. – Vol. 82. – P. 215-235. 128. Hansson S. O. Semi-revision / S. O. Hansson // Journal of Applied NonClassical Logic.– 1997. – Vol. 7. – P. 151-175. 129. Hansson S. O. A Textbook of Belief Dynamics / S. O. Hansson. – Dordrecht : Kluwer Academic Publishers, 1998. 130. Hintikka J. Knowledge and belief: an introduction to the logic of the two notions / J. Hintikka. – Ithaca ; N. Y. : Cornell University Press, 1962. 131. Katsuno H. Prepositional knowledge base revision and minimal change / H. Katsuno, A. Mendelzon // Journal of Artificial Intelligence. – 1991. – Vol. 52. – P. 263-294. 132. Katsuno H. On the difference between updating a knowledge base and 200 revising it / H. Katsuno, A. Mendelzon ; In Peter Gardenfors, editor // Belief Revision. – Cambridge : Cambridge University Press, 1992. – Vol.29. – P.183-203. 133. Kooi B. As the World Turns: on the Logic of Public Updates : manuscript / B. Kooi. – University of Groningen, 2005. 134. Levi I. The enterprise of knowledge / Isaak Levi. – Cambridge : MIT Press, 1980. 135. Levi I. The fixation of belief and its undoing: changing beliefs through inquiry / I. Levi. – Cambridge : Cambridge University Press, 1991. 136. Levi I. Contraction and informational value : manuscript / I. Levi. – Cambridge : Cambridge University Press, 1997. 137. Lewis D. Counterfactuals / D. Lewis. – Oxford : Blackwell, 1973. 138. Lehmann D. What does a conditional knowledge base entail? / D. Lehmann, M. Magidor // Artificial Intelligence. – 1992. – Vol. 55. – P. 1-60. 139. Lindstrom S. Epistemic entrenchment with incomparabilities and relational belief revision / S. Lindstrom, W. Rabinowicz // The Logic of Theory Change / In Fuhrmann and Morreau, editors. – Berlin, 1991. – P.93-126. 140. Lindstrom S. Extending Dynamic Doxastic Logic: accommodating iterated beliefs and ramsey conditionals within DDL / Sten Lindström, Wlodzimierz Rabinowicz // For Good Measure: Uppsala Philosophy Studies. – Uppsala, 1997. 141. Lindstrom S. Modal Logic and Philosophy / S. Lindstrom, K. Segerberg // Studies in Logic and Practical Reasoning. – 2007. – Vol. 3. – P. 1149-1214. 142. Liu F. Preference Change and Information Processing : Tech Report / F. Liu // Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT06). – Liverpool, 2006. 143. Lutz C. Complexity and Succinctness of Public Announcement Logic / C. Lutz // Proceedings of the Fifth International Conference on Autonomous Agents and Multiagent Systems (AAMAS06). – 2006. – P. 137-144. 144. Makinson D. How to give it up: a survey of some recent work on formal aspects of the logic of theory change / D. Makinson // Synthese. – 1985. – 201 Vol. 62. – P. 347-363. 145. Makinson D. On the status of the postulate of recovery in the logic of theory change / D. Makinson // Journal of Philosophical Logic. – 1987. – Vol. 16. – P. 383-394. 146. Makinson D. Five faces of minimality / D. Makinson // Studia Logica. – 1993. – Vol. 52. – P. 339-379. 147. Makinson D. General patterns in nonmonotonic reasoning / D. Makinson // Handbook of Logic in Artificial Intelligence and Logic Programming / In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors. – Oxford : Oxford University Press, 1994. – Vol. 3. – P. 35-110. 148. Makinson D. On the force of some apparent counterexamples to recovery / / D. Makinson // Normative Systems in Legal and Moral Theory: Festschrift for Carlos Alchourron and Eugenio Bulygin / In E. Garzon Valdez et al., editor. – Berlin, 1997. – P. 475-481. 149. Makinson D. Ways of Doing Logic: What was Different about AGM 1985? / D. Makinson // Journal of Logic and Computation.– 2003. – Vol.13. – P.3- 13. 150. Mares E. A Paraconsistent Theory of Belief Revision / Edwin D. Mares // Erkenntnis. – 2002. – Vol. 56. – P. 229–246. 151. Martins J. A model for belief revision / J. Martins, S. Shapiro // Artificial Intelligence. – 1988. – Vol. 35. – P. 25-79. 152. Miller J. The Undecidability of Iterated Modal Relativization / J. Miller, L. Moss // Studia Logica. – 2005. – Vol 97. – P. 373-407. 153. Nayak A. Studies in Belief Change : Doctoral Dissertation / Abhaya Charan Nayak. – Rochester University, 1993. 154. Nebel B. A knowledge level analysis of belief revision / B. Nebel // Proceedings of the 1st International Conference of Principles of Knowledge Representation and Reasoning. – Morgan Kaufmann, 1989. – P. 301-311. 155. Nebel B. Syntax-based approaches of belief revision / B. Nebel ; In Peter Gardenfors, editor // Belief Revision. – Cambridge University Press, 1992. – P. 52-88. 156. Niederee R. Multiple contraction: A further case against Gardenfors' principle of recovery / R. Niederee // The Logic of Theory Change / In 202 Fuhrmann and Morreau, editors. – Berlin, 1991. – P. 322-334. 157. Plaza J. A. Logics of Public Communications / J. A. Plaza // Proceedins 4th International Symposium on Methodologies for Intelligent Systems. – 1989. 158. Rabinowicz W. Global belief revision based on similarities between worlds / W. Rabinowicz // Logic for a change / In Sven Ove Hansson and Włodek Rabinowicz, editors. – Uppsala : Uppsala Prints and Preprints in Philosophy, 1995. – Vol. 9. – P. 80-105. 159. Rott H. Shifting Priorities: Simple Representations for Iterated Theory Change Operators / H. Rott // Uppsala Philosophical Studies : Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg / Lagerlund H., Lindstrom S., Sliwinski R. eds. – 2006. – Vol. 53. – P. 359- 384. 160. Rott H. Making up one’s mind: Foundations, coherence, nonmonotonicity : Technical report / H. Rott. – Oxford : Oxford University Press, 1998. 161. Rott H. Conditionals and theory change: revision, expansions and additions / H. Rott // Synthese. – 1989. – Vol. 81. – P. 91-113. 162. Rott H. Two methods of constructing contractions and revisions of knowledge systems / H. Rott // Journal of Philosophical Logic. – 1991. – Vol. 20. – P. 149-173. 163. Rott H. On the logic of theory change: More maps between different kinds of contraction functions / H. Rott // Belief Revision / In Peter Gardenfors, editor. – Cambridge : Cambridge University Press, 1992. – Vol. 29. – P. 122-141. 164. Rott H. Preferential belief change using generalized epistemic entrenchment / H. Rott // Journal of Logic, Language and Information. – 1992. – Vol. 1. – P. 45-78. 165. Rott H. Just because. Taking belief bases very seriously / H. Rott // Logic for a change / In Sven Ove Hansson and Wlodek Rabinowicz, editors. – Uppsala : Uppsala Prints and Preprints in Philosophy, 1995. – Vol. 9. – P. 106-124. 166. Rott H. Coherence and Conservation in the Dynamics of Belief, Part I: Finding the Right Framework / Hans Rott. – Amsterdam : ILLC 203 Prepublications, 1999. 167. Rott H. Severe withdrawal and recovery / H. Rott, M. Pagnucco // Journal of Philosophical Logic. – 1999. – Vol. 28(5). – P. 501-547. 168. Segerberg K. Belief Revision from the Point of View of Doxastic Logic / Krister Segerberg // Bulletin of the IGPL. – Oxford : Oxford University Press, 1995. – Vol. 3. – P. 534-553. 169. Segerberg K. Further questions about hypertheories / Krister Segerberg // Uppsala Philosophical Studies. – Uppsala, 1997. – Vol. 45. 170. Segerberg K. Irrevocable Belief Revision in Dynamic Doxastic Logic / K. Segerberg // Notre Dame Journal of Formal Logic. – 1998. – Vol. 39. – P. 287-306. 171. Segerberg K. Belief revision and doxastic commitment : manuscript / K. Segerberg. – Uppsala, 1998. 172. Segerberg K. Default Logic as Dynamic Doxastic Logic / K. Segerberg // Erkenntnis. – 1999. – Vol. 50. – P. 333-352. 173. Segerberg K. Getting started: Beginnings in the Logic of Action / K. Segerberg // Studia Logica. – 1992. – Vol. 51. – P. 347-378. 174. Segerberg K. A completeness proof in full DDL / K. Segerberg // Logic and Logical Philosophy. – 2001. – Vol. 9. – P. 77–90. 175. Segerberg K. Blueprint for a dynamic deontic logic / K. Segerberg // Journal of Applied Logic. – 2009. – Vol. 7(4). – P. 388-402. 176. Segerberg K. Dynamic doxastic logic: why, how, and where to? / K. Segerberg, H. Leitgeb // Synthese. – 2007. – Vol. 155(2). – P. 167-190. 177. Segerberg K. A blueprint for deontic logic in three (not necessarily easy) steps / K. Segerberg. – Dagstuhl, 2007. 178. Segerberg K. Moore Problems in Full Dynamic Doxastic Logic / K. Segerberg // Poznan Studies in the Philosophy of the Sciences and the Humanities. – 2006. – Vol. 91 (1). – P. 95-110. 179. Shoham Y. Reasoning About Change: Time and Change from the Standpoint of Artificial Intelligence / Y. Shoham. – Cambridge : MIT Press, 1988. 180. Shramko Y. Doxastic actions and doxastic commitments: belief revision as pure modal logic / Y. Shramko // Smirnov's Readings; 2nd International Conference. – Moscow, 1999. – P. 90-92. 181. Shramko Y. The Slingshot Argument and Sentential Identity / Y. Shramko, 204 H. Wansing // Studia Logica. – 2009. – Vol. 91. – P. 429-455. 182. Spohn W. Ordinal conditional functions: A dynamic theory of epistemic states / W. Spohn // Causation in Decision, Belief Change and Statistics / In W. Harper and B. Skyrms, editors. – Dordrecht, 1987. – Vol. 2. – P. 105- 134. 183. Stalnaker R. A Theory of Conditionals / R. Stalnaker // Studies in Logical Theory /N. Rescher, ed. – Oxford, 1968. – P. 98-112. 184. Stalnaker R. A Semantic Analysis of Conditional Logic / R. Stalnaker, R. H. Thomason // Theoria. – 1970. – Vol. 36. – P. 23-42. 185. Tarski A. Logic, Semantics, Metamhatematics. Papers from 1923 to 1938. / A. Tarski ; Translated by J. H. Woodger. – Oxford : Clarendon Press, 1956. 186. Veltman F. Defaults in Update Semantics / F. Veltman // Journal of Philosophical Logic. – 1996. –Vol. 25. – P. 221-261. 187. Williams M.-A. On the logic of theory base change / Mary-Ann Williams // Logics in Artificial Intelligence / In MacNish, editor. – Springer Verlag, 1994. – №835. – P. 95-111. 188. Williams M.-A. Transmutations of knowledge systems / Mary-Ann Williams // Proceedings of the fourth International Conference on Principles of Knowledge Representation and Reasoning / In Doyle J. etc ed. – Bonn, 1994. – P. 619-629. 189. Yamada T. Commands and Changing Obligations / T. Yamada // Proceedings of the Seventh International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII). – 2006. 190. Wright G.H. von An essay in modal logic / G.H. von. Wright – Amsterdam : North-Holland Pub. Co.,1951.
dc.description.abstract	Дисертацію присвячено розробці формального механізму для вивчення динамічних аспектів перегляду переконань із застосуванням апарату динамічної модальної логіки DML. Основою для такої логіки є подання пізнавальних дій (розширення, скорочення, перегляду) як модальних операторів. Проаналізовано основні традиції досліджень перегляду переконань: постулатний підхід AGM і динамічна стратегія DDL. Обґрунтовано можливість поєднання переваг функціонального і динамічного підходів за рахунок подання пізнавальних дій як модальних операторів. Розроблено синтаксис динамічної модальної логіки (DML), в основу якого покладено запропоновану інтерпретацію пізнавальних дій, уточнено ряд понять: динамічна формула, доксастичні зобов’язання, умовна доксастична дія. Формалізовано основні властивості доксастичних операцій. Запропоновано низку логічних систем: логіки розширення (DMLE), логіки скорочення (DMLC), комплексної логіки (DML), у якій розширення і скорочення є незалежними операторами. Найбільш значущими є результати, отримані в рамках розширеної динамічної модальної логіки – DMLEC. Система DMLEC побудована як розширення DMLE шляхом уведення операторів скорочення та ревізії за допомогою редукційних аксіом. Запропоновано варіант семантики можливих світів дозволяє інтерпретувати динамічні формули й довести несуперечливість DMLEC на цій модельній структурі.	uk
dc.language.iso	uk	uk
dc.publisher	Інститут філософії імені Г. С. Сковороди Національної академії наук України	uk
dc.subject	логіка	uk
dc.subject	епістемічна логіка	uk
dc.subject	модальна логіка	uk
dc.subject	динамічна модальна логіка DML	uk
dc.subject	доксастична модель	uk
dc.subject	перегляд переконань	uk
dc.subject	стан переконань	uk
dc.subject	постулати AGM	uk
dc.subject	динамічна доксастична логіка DDL	uk
dc.subject	belief revision	uk
dc.title	Логіка перегляду переконань: пізнавальні дії як модальні оператори	uk
dc.type	Working Paper	uk