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.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

As one is: to free the mind from all conditioning.J. Krishnamurti - 2007 - Prescott, Ariz.: Hohm Press.
How to model relational belief revision.Wlodek Rabinowicz & Sten Lindström - 1994 - In Dag Prawitz & Dag Westerståhl (eds.), Logic and Philosophy of Science in Uppsala. Kluwer Academic Publishers.
Epistemic entrenchment with incomparabilities and relational belief revision.Sten Lindström & Wlodek Rabinowicz - 1991 - In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. Springer. pp. 93--126.
Distance Semantics for Relevance-Sensitive Belief Revision.Pavlos Peppas, Samir Chopra & Norman Foo - unknown
The AGM theory and inconsistent belief change.Koji Tanaka - 2005 - Logique Et Analyse 48 (189-192):113-150.
William Robert Grove and the London Institution, 1841–1845.M. L. Cooper & V. M. D. Hall - 1982 - Annals of Science 39 (3):229-254.
Belief Revision From the Point of View of Doxastic Logic.Krister Segerberg - 1995 - Logic Journal of the IGPL 3 (4):535-553.
Geodesic merging.Konstantinos Georgatos - 2018 - Synthese 195 (10):4243-4264.
A Monoselective Presentation of AGM Revision.Sven Ove Hansson - 2015 - Studia Logica 103 (5):1019-1033.
A Game Semantics for System P.J. Marti & R. Pinosio - 2016 - Studia Logica 104 (6):1119-1144.
Constructive belief reports.Bartosz Więckowski - 2015 - Synthese 192 (3):603-633.
Distance semantics for belief revision.Daniel Lehmann, Menachem Magidor & Karl Schlechta - 2001 - Journal of Symbolic Logic 66 (1):295-317.
Distance Semantics for Belief Revision.Daniel Lehmann, Menachem Magidor & Karl Schlechta - 2001 - Journal of Symbolic Logic 66 (1):295-317.
A Formal Model of Multi-Agent Belief-Interaction.John Cantwell - 2006 - Journal of Logic, Language and Information 15 (4):303-329.
A formal model of multi-agent belief-interaction.John Cantwell - 2006 - Journal of Logic, Language and Information 15 (4):397-422.

Analytics

Added to PP
2017-10-28

Downloads
189 (#99,888)

6 months
58 (#70,558)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Koji Tanaka
Australian National University

Citations of this work

The AGM theory and inconsistent belief change.Koji Tanaka - 2005 - Logique Et Analyse 48 (189-192):113-150.

Add more citations

References found in this work

Two modellings for theory change.Adam Grove - 1988 - Journal of Philosophical Logic 17 (2):157-170.

Add more references