Tech Reports


No Belief without Reason: Logics of Argument-Based Beliefs

Davide Grossi and Wiebe van der Hoek


The paper addresses how the information state of an agent relates to the arguments that the agent endorses. Information states are modeled in doxastic logic and arguments by recasting abstract argumentation theory in a modal logic format. The two perspectives are combined by an application of the theory of product logics, delivering sound and complete systems in which the interaction of arguments and beliefs is investigated.

[Full Paper]