A system of Belief Revision based on the formal consistency operator
Despite the AGM-compliance, when we consider a new logic its underlying rationality must be understood and its language should be used in fact. In this work, we redefine the AGM operations and propose new constructions, which actually captures the intuition of LFIs -- this is what we call the
AGM° system. Thus we provide an interesting interpretation for these logics, more in line with formal epistemology. In an alternative approach, by considering the AGM-compatibility, the AGM results can be directly applied to LFIs (as we presented in the previous seminar). In both approaches, we prove the corresponding theorems of representation where needed.
This is part of my doctoral thesis supervised by Professor Dr. Marcelo Esteban Coniglio (Unicamp) and by Professor Dr. Márcio Moretto Ribeiro (USP).