Consolidation of Belief in Two Logics of Evidence

Yuri David Santos

    OnderzoeksoutputAcademicpeer review

    2 Citaten (Scopus)
    6 Downloads (Pure)


    Recently, several logics have emerged with the goal of modelling evidence in a more relaxed sense than that of justifications. Here,
    we explore two of these logics, one based on neighborhood models and the other being a four-valued modal logic. We establish grounds for comparing these logics, finding, for any model, a counterpart in the other logic which represents roughly the same evidential situation. Then we propose operations for consolidation, answering our central question: What should the
    doxastic state of a rational agent be in a given evidential situation? These operations map evidence models to Kripke models. We then compare the consolidations in the two logics, finding conditions under which they are isomorphic. By taking this dynamic perspective on belief formation we pave the way for, among other things, a study of the complexity, and an
    AGM-style analysis of rationality of these belief-forming processes.
    Originele taal-2English
    TitelLogic, Rationality, and Interaction - 7th International Workshop, LORI
    Aantal pagina's14
    ISBN van elektronische versie978-3-662-60292-8
    ISBN van geprinte versie978-3-662-60291-1
    StatusPublished - 2019

    Publicatie series

    NaamLecture Notes in Computer Science

    Citeer dit