| Autor: | K. Britz |
|---|---|
| Rok vydání: | 1999 |
| Předmět: |
Linguistics and Language
Semantics (computer science) Belief revision Conjunction (grammar) Algebra Power (social and political) Set (abstract data type) Philosophy Computer Science::Logic in Computer Science Computer Science (miscellaneous) Remainder Algebraic number Representation (mathematics) Mathematics |
| Zdroj: | Journal of Logic, Language and Information. 8:429-443 |
| ISSN: | 0925-8531 |
| DOI: | 10.1023/a:1008374520572 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink