This paper explores a non-normal logic of beliefs for boundedly rational agents. The logic we study stems from the epistemic-doxastic system developed by Stalnaker [1]. In that system, if knowledge is not positively introspective then beliefs are not closed under conjunction. They are, however, 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.
CITATION STYLE
Klein, D., Gratzl, N., & Roy, O. (2015). Introspection, normality and agglomeration. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9394, pp. 195–206). Springer Verlag. https://doi.org/10.1007/978-3-662-48561-3_16
Mendeley helps you to discover research relevant for your work.