Abstract
Following the approach given by Nina Gierasimczuk [2009] to bridge dynamic epistemic logic and learning theory, the logic of finite identification in the limit in the process of learning has been explored in this paper. The main results are two complete axiomatic systems. One is defined in terms of public announcements, and the other in terms of update by event models.
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
Gierasimczuk, N.: Bridging Learning Theory and Dynamic Epistemic Logic (to appear)
de Rijke, M.: The Modal Logic of Inequality. The Journal of Symbolic Logic 57(2), 566–584 (1992)
Kurucz, A.: Combining Modal Logics. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic. Elsevier, Amsterdam (2007)
van Benthem, J.: Logical Dynamics of Information FLow and Interaction. Cambridge University Press, Cambridge (manuscript, 2009)
van Ditmarsch, H., de Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Heidelberg (2007)
Baltag, A., Moss, L., Solecki, S.: The logic of public announcements: Common knowledge and private suspicions. In: Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge, p. 43C56. Morgan Kaufmann Publishers Inc., Evanston Illinois (1998)
Osherson, D., de Jongh, D., Martin, E., Weinstein, S.: Formal Learning Theory. In: van Benthem, J., Ter Meulen, A. (eds.) Handbook of Logic and Language. MIT Press, Cambridge (1997)
Gold, E.: Language Identification in the Limit. Information and Control 57, 447–474 (1967)
Wittgenstein, L.: Tractatus Logico-philosophicus. Trans. by D. Pears and B. McGuinness. Routledge and Paul, London (1961)
Russell, B.: The Philosophy of Logical Atomism and Other Essays. George Allen and Unwin, London (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ma, M. (2009). Dynamic Epistemic Logic of Finite Identification. In: He, X., Horty, J., Pacuit, E. (eds) Logic, Rationality, and Interaction. LORI 2009. Lecture Notes in Computer Science(), vol 5834. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04893-7_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-04893-7_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04892-0
Online ISBN: 978-3-642-04893-7
eBook Packages: Computer ScienceComputer Science (R0)