Abstract
We explore logics of belief over weighted structures under the supposition that everything believed by an agent has a weight in the range of agent’s belief. We first define static graded belief logics which are complete with respect to the class of all weighted frames. Furthermore, we discuss their public announcement and dynamic epistemic extensions. We may also define notions of plausible belief by comparing weights of formulas at the current state in a weighted model. This approach is not a new one but we provide new logics and their dynamic extensions which can capture some intuitive notions of belief and their dynamics.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alchourròn, C., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50, 510–530 (1985)
Aucher, G.: A Combined System for Update Logic and Belief Revision. Master’s thesis, University of Amsterdam, The Netherlands (2004)
Baltag, A., Moss, L., Solecki, S.: The logic of public announcements: Common knowledge and private suspicions. In: TARK, pp. 43–56 (1998)
van Benthem, J.: Logical Dynamics and Information Flow (2010) (manuscript)
van Benthem, J.: Modal Logic for Open Minds. CSLI Publications, Stanford (2010)
van Benthem, J., Gerbrandy, J., Kooi, B.: Dynamic update with probabilities. Studia Logica 93, 67–96 (2009)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Univeristy Press, Cambridge (2001)
Burgess, J.: Quick completeness proofs for some logics of conditionals. Notre Dame Journal of Formal Logic 22, 76–84 (1981)
de Caro, F.: Graded modalities ii (canonical models). Studia Logica 47, 1–10 (1988)
Chellas, B.: Modal Logic: an introduction. Cambridge University Press, Cambridge (1980)
D’Agostino, Visser, A.: Finality regained: a coalgebraic study of scott-sets and multisets. Archive for Mathematical Logic 41, 267–298 (2002)
Fagin, R., Halpern, J.: Reasoning about knowledge and probability. Journal of the ACM 41, 340–367 (1994)
Fattorosi-Barnaba, M., de Caro, F.: Graded modalities i. Studia Logica 44, 197–221 (1985)
Fine, K.: In so many possible worlds. Notre Dame Journal of Formal Logic 13, 516–520 (1972)
Herzig, A., Longin, D.: On modal probability and belief. In: Nielsen, T.D., Zhang, N.L. (eds.) ECSQARU 2003. LNCS (LNAI), vol. 2711, pp. 62–73. Springer, Heidelberg (2003)
Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithica (1962)
van der Hoek, W., Meyer, J.J.: Graded modalities in epistemic logic. In: Logical Foundations of Computer Science-Tver 1992, pp. 503–514 (1992)
Kooi, B.: Probabilistic dynamic epistemic logic. Journal of Logic, Language and Information 12, 381–408 (2003)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Heidelberg (2007)
Kurzen, L., Velázquez-Quesada, F. (eds.): Logics for dynamics of information and preferences, seminar’s yearbook 2008, pp. 208–219. Institute for Logic, Language and Computation (2008)
Ma, M.: Model Theory for Graded Modal Lnaguages. Ph.D. thesis, Tsinghua University, Beijing (2011)
Meyer, J.J., van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge University Press, Cambridge (1995)
Plaza, J.: Logics of public communications. In: Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201–216 (1989)
de Rijke, M.: A note on graded modal logic. Studia Logica 64, 271–283 (2000)
Veltman, F.: Logics for Conditionals. Ph.D. thesis, University of Amsterdam, The Netherlands (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ma, M., Guo, M. (2011). Logics of Belief over Weighted Structures. In: van Ditmarsch, H., Lang, J., Ju, S. (eds) Logic, Rationality, and Interaction. LORI 2011. Lecture Notes in Computer Science(), vol 6953. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24130-7_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-24130-7_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24129-1
Online ISBN: 978-3-642-24130-7
eBook Packages: Computer ScienceComputer Science (R0)