Logics of belief change without linearity (Q2710596)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Logics of belief change without linearity |
scientific article; zbMATH DE number 1590603
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Logics of belief change without linearity |
scientific article; zbMATH DE number 1590603 |
Statements
Logics of belief change without linearity (English)
0 references
23 November 2001
0 references
belief change
0 references
hypertheory
0 references
epistemic entrenchment
0 references
dynamic doxastic logic (DDL)
0 references
system of spheres
0 references
infinitary axiomatizations
0 references
The logics mentioned in the title are the logics induced by hypertheories [cf. \textit{K. Segerberg}, Bull. IGPL 3, 535-553 (1995; Zbl 0844.03015)]. Hypertheories generalize D. Lewis' systems of spheres in that they need not to be linearly ordered. The use of the formal language of dynamic doxastic logic in the present paper makes it possible to formulate precisely and to answer some important questions about belief change. In particular, it is proved that none of the mentioned logics are compact and hence cannot be given any strongly complete axiomatization in a finitary logic. Next, complete infinitary axiomatizations are proposed for several logics based on hypertheories.
0 references
0.8374696373939514
0 references
0.7733517289161682
0 references
0.769950270652771
0 references
