Expansion and contraction of finite states

Studia Logica 76 (3):427-442 (2004)
  Copy   BIBTEX

Abstract

We present a theory that copes with the dynamics of inconsistent information. A method is set forth to represent possibly inconsistent information by a finite state. Next, finite operations for expansion and contraction of finite states are given. No extra-logical element — a choice function or an ordering over (sets of) sentences — is presupposed in the definition of contraction. Moreover, expansion and contraction are each other's duals. AGM-style characterizations of these operations follow.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
112 (#168,801)

6 months
5 (#923,890)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Allard Tamminga
University of Greifswald

References found in this work

Theory contraction through base contraction.André Fuhrmann - 1991 - Journal of Philosophical Logic 20 (2):175 - 203.
On the status of the postulate of recovery in the logic of theory change.David Makinson - 1987 - Journal of Philosophical Logic 16 (4):383 - 394.
Reversing the Levi identity.Sven Ove Hansson - 1993 - Journal of Philosophical Logic 22 (6):637 - 669.

View all 12 references / Add more references