Expansion and contraction of finite states

Allard Tamminga

Research output: Contribution to journalArticleAcademicpeer-review

293 Downloads (Pure)


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.
Original languageEnglish
Pages (from-to)427 - 442
Number of pages16
JournalStudia Logica
Issue number3
Publication statusPublished - 2004

Cite this