Belief Change: Between Modal Logic and Belief Revision.

• Grant number: 24/07209-7
• Support Opportunities: Scholarships in Brazil - Scientific Initiation
• Start date: October 01, 2024
• End date: September 30, 2025
• Field of knowledge: Humanities - Philosophy - Logic
• Principal Investigator: Marcelo Esteban Coniglio
• Grantee: Felipe Nunes de Souza Camargo
• Host Institution: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil

Abstract

Throughout history, logicians have proposed several formalizations for the notion of belief. One of the main challenges is that, unlike knowledge or truth, beliefs are dynamic and are constantly revised and changed. In this context, Dynamic Epistemic Logics, using multimodalities, formalize both beliefs and belief-changing operations with necessity operators. Another option presented was the Theory of Belief Revision, which represents the set of an agent's beliefs as a set of sentences closed under an inference relation. Belief-changing operations are formalized as the formation of other sets from previous sets. Recently, several logicians have proposed approximations between these two systems. Usually, by modeling the elements of one system with the tools provided by the other. My research involves the study of some of those proposals. The main goal is to analyze them, compare them, and, if possible, present original contributions. The main expected results are writing a monograph and presenting a seminar to a research group.