Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Stalnaker, R.: On logics of knowledge and belief. Philosophical Studies 128, 169–199 (2006)
Baltag, A., Bezhanishvili, N., Özgün, A., Smets, S.: The topology of belief, belief revision and defeasible knowledge. In: Grossi, D., Roy, O., Huang, H. (eds.) LORI. LNCS, vol. 8196, pp. 27–40. Springer, Heidelberg (2013)
Özgün, A.: Topological models for belief and belief revision. Master’s thesis, Universiteit van Amsterdam (2013)
Williamson, T.: Knowledge and its Limits. Oxford UP (2000)
Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press (1980)
Pacuit, E.: Neighborhood semantics for modal logic. Course Notes (2007)
Leitgeb, H.: The stability theory of belief. Philosophical Review 123, 131–171 (2014)
Harman, G.: Change in view: Principles of reasoning. MIT Press (1986)
Shoham, Y.: Logical theories of intention and the database perspective. Journal of Philosophical Logic 38, 633–647 (2009)
Roy, O.: Interpersonal coordination and epistemic support for intentions with we-content. Economics and Philosophy 26, 345–367 (2010)
Buss, S.: An Introduction to Proof Theory. In: Buss, S. (ed.) Handbook of Proof Theory, pp. 1–78. Elsevier (1998)
Negri, S., von Plato, J.: Structural Proof Theory. Cambridge Universtiy Press (2001)
Gentzen, G.: Untersuchungen über das logische Schließen. Mathematische Zeitschrift 39, 176–210, 405–431 (1934-1935)
Ono, H., et al.: Proof-theoretic methods in nonclassical logic; an introduction. Theories of Types and Proofs 2, 207–254 (1998)
Leitgeb, H.: Reducing belief simpliciter to degrees of belief. Annals of Pure and Applied Logic 164, 1338–1389 (2013)
Ma, M., Sano, K.: How to update neighborhood models. In: Grossi, D., Roy, O., Huang, H. (eds.) LORI. LNCS, vol. 8196, pp. 204–217. Springer, Heidelberg (2013)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Klein, D., Gratzl, N., Roy, O. (2015). Introspection, Normality and Agglomeration. In: van der Hoek, W., Holliday, W., Wang, Wf. (eds) Logic, Rationality, and Interaction. LORI 2015. Lecture Notes in Computer Science(), vol 9394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-48561-3_16
Download citation
DOI: https://doi.org/10.1007/978-3-662-48561-3_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-48560-6
Online ISBN: 978-3-662-48561-3
eBook Packages: Computer ScienceComputer Science (R0)