Logics of belief change without linearity

Authors
Citation
J. Cantwell, Logics of belief change without linearity, J SYMB LOG, 65(4), 2000, pp. 1556-1575
Citations number
11
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF SYMBOLIC LOGIC
ISSN journal
00224812 → ACNP
Volume
65
Issue
4
Year of publication
2000
Pages
1556 - 1575
Database
ISI
SICI code
0022-4812(200012)65:4<1556:LOBCWL>2.0.ZU;2-8
Abstract
Ever since [4]. systems of spheres have been considered to give an intuitiv e and elegant way to give a semantics for logics of theory- or belief- chan ge, Several authors [5.11] have considered giving up the rather strong assu mption that systems of spheres be linearly ordered by inclusion, These more general structures are called hypertheories after [8]. It is shown that no ne of the proposed logics induced by these weaker structures are compact an d thus cannot be given a strongly complete axiomatization in a finitary log ic, Complete infinitary axiomatizations are given for several intuitive log ics based on hypertheories that are not linearly ordered bq inclusion.