On An Error In Grove's Proof

Logique Et Analyse 158:215-217 (1997)
  Copy   BIBTEX

Abstract

Nearly a decade has past since Grove gave a semantics for the AGM postulates. The semantics, called sphere semantics, provided a new perspective of the area of study, and has been widely used in the context of theory or belief change. However, the soundness proof that Grove gives in his paper contains an error. In this note, we will point this out and give two ways of repairing it.

Author's Profile

Koji Tanaka
Australian National University

Analytics

Added to PP
2017-10-28

Downloads
175 (#69,762)

6 months
49 (#73,097)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?