A power algebra for theory change


Abstract
Various representation results have been established for logics of belief revision, in terms of remainder sets, epistemic entrenchment, systems of spheres and so on. In this paper I present another representation for logics of belief revision, as an algebra of theories. I show that an algebra of theories, enriched with a set of rejection operations, provides a suitable algebraic framework to characterize the theory change operations of systems of belief revision. The theory change operations arise as power operations of the conjunction and disjunction connectives of the underlying logic.
Keywords belief contraction  belief revision  power orders  theory change
Categories (categorize this paper)
Reprint years 2004
ISBN(s)
DOI 10.1023/A:1008374520572
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 49,128
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
108 ( #82,460 of 2,311,514 )

Recent downloads (6 months)
1 ( #753,566 of 2,311,514 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature