Klein, DominikDominikKlein0000-0002-7743-8399Gratzl, NorbertNorbertGratzlRoy, OlivierOlivierRoyvan der Hoek, WiebeHolliday, WesleyWang, Wen-fang2019-09-192017-04-122015978-3-662-48560-6https://fis.uni-bamberg.de/handle/uniba/41840This paper explores a non-normal logic of beliefs for boundedly rational agents. The logic we study is the result of dropping positive introspection for knowledge in the system developed by Stalnaker [1]. In that system beliefs are not closed under conjunction, but they are required to be pairwise consistent, a requirement that has been called agglomerativity elsewhere. While bounded agglomerativity requirements, i.e., joint consistency for every n-tuple of beliefs up to a fixed n, are expressible in that logic, unbounded agglomerativity is not. We study an extension of this logic of beliefs with such an unbounded agglomerativity operator, provide a sound and complete axiomatization for it, show that it has a sequent calculus that enjoys the admissibility of cut, that it has the finite model property, and that it is decidable.englogic of knowledgebounded rationalityconferenceobject10.1007/978-3-662-48561-3_16