Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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
Abstract [en]

Ever since [4]. 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 [8]. 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.
Identifiers
URN: urn:nbn:se:kth:diva-20317ISI: 000166605500006OAI: oai:DiVA.org:kth-20317DiVA: diva2:339011
Note
QC 20100525Available from: 2010-08-10 Created: 2010-08-10 Last updated: 2017-12-12Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Cantwell, John
In the same journal
Journal of Symbolic Logic (JSL)

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 21 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf