Paraconsistent dynamics
-
Altmetric Citations
Description
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...[Show more]
Collections | ANU Research Publications |
---|---|
Date published: | 2015 |
Type: | Journal article |
URI: | http://hdl.handle.net/1885/15378 |
Source: | Synthese |
DOI: | 10.1007/s11229-015-0740-2 |
Download
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator