A logic for reasoning about persuasion

Katarzyna Budzynska, Magdalena Kacprzak

    Research output: Contribution to journalArticlepeer-review

    15 Citations (Scopus)


    In the article, we introduce a sound and complete deductive system (AGn) which can be used to reason about persuasion process performed in distributed systems of agents in circumstances of uncertain and incomplete information. In order to express degrees of beliefs of these agents, we adopt methods of Logic of Graded Modalities. To represent degrees' changes resulting from the persuasion, we apply tools of Algorithmic Logic and Dynamic Logic. As a result, we interpret arguments as actions which lead to change of grades of agents' beliefs.
    Original languageEnglish
    Pages (from-to)51-65
    Number of pages15
    JournalFundamenta Informaticae
    Issue number1-4
    Publication statusPublished - 2008


    Dive into the research topics of 'A logic for reasoning about persuasion'. Together they form a unique fingerprint.

    Cite this