Paraconsistent dynamics

Patrick Girard*, Koji Tanaka

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    13 Citations (Scopus)

    Abstract

    It has been an open question whether or not we can define a belief revision operation that is distinct from simple belief expansion using paraconsistent logic. In this paper, we investigate the possibility of meeting the challenge of defining a belief revision operation using the resources made available by the study of dynamic epistemic logic in the presence of paraconsistent logic. We will show that it is possible to define dynamic operations of belief revision in a paraconsistent setting.

    Original languageEnglish
    Pages (from-to)1-14
    Number of pages14
    JournalSynthese
    Volume193
    Issue number1
    DOIs
    Publication statusPublished - 1 Jan 2016

    Cite this