Logics of belief change without linearity
2000 (English)In: Journal of Symbolic Logic (JSL), ISSN 0022-4812, E-ISSN 1943-5886, Vol. 65, no 4, 1556-1575 p.Article in journal (Refereed) Published
Ever since . systems of spheres have been considered to give an intuitive and elegant way to give a semantics for logics of theory- or belief- change, Several authors [5.11] have considered giving up the rather strong assumption that systems of spheres be linearly ordered by inclusion, These more general structures are called hypertheories after . It is shown that none of the proposed logics induced by these weaker structures are compact and thus cannot be given a strongly complete axiomatization in a finitary logic, Complete infinitary axiomatizations are given for several intuitive logics based on hypertheories that are not linearly ordered bq inclusion.
Place, publisher, year, edition, pages
2000. Vol. 65, no 4, 1556-1575 p.
IdentifiersURN: urn:nbn:se:kth:diva-20317ISI: 000166605500006OAI: oai:DiVA.org:kth-20317DiVA: diva2:339011
QC 201005252010-08-102010-08-10Bibliographically approved