Titlebar

Export bibliographic data
Literature by the same author
plus on the publication server
plus at Google Scholar

 

Prime implicates and relevant belief revision

Title data

van de Putte, Frederik:
Prime implicates and relevant belief revision.
In: Journal of Logic and Computation. Vol. 23 (2013) Issue 1 . - pp. 109-119.
ISSN 1465-363X
DOI: https://doi.org/10.1093/logcom/exr040

Abstract in another language

This article discusses Parikh's axiom of relevance in belief revision, and recalls some results from Kourousias and Makinson (2007, J. Symbolic Logic, 72, 994–1002) in this context. The crucial distinction is emphasized between the uniqueness of the finest splitting of K and the fact that K has several normal forms associated with that finest splitting. The main new result of this article is a new proof for the theorem that the set of prime implicates of K is a normal form for the finest splitting of K. It is explained how this proof avoids a mistake in an earlier proof from Wu and Zhang (2010, Knowledge-Based Syst., 23, 70–76). As a corollary, relevance can be re-defined without reference to the finest splitting, using the notion of path-relevance from Makinson (2009, J. Appl. Logic, 7, 377–387). Finally, a weak yet sufficient condition for irrelevance is presented.

Further data

Item Type: Article in a journal
Refereed: Yes
Institutions of the University: Faculties > Faculty of Cultural Studies
Faculties > Faculty of Cultural Studies > Department of Philosophy
Faculties > Faculty of Cultural Studies > Department of Philosophy > Lehrstuhl Philosophie I
Faculties
Result of work at the UBT: No
DDC Subjects: 100 Philosophy and psychology
100 Philosophy and psychology > 100 Philosophy
100 Philosophy and psychology > 160 Logic
Date Deposited: 26 Nov 2018 11:20
Last Modified: 26 Nov 2018 11:51
URI: https://eref.uni-bayreuth.de/id/eprint/46384