Abstract
In this paper, we give a logic for perception and knowledge: Flatland. This semantics of this framework is a concrete Kripke model so that it is an easy-to-understand toy example for students. We present a piece of software called Plaza’s world enabling to check formulas in such a concrete Kripke model and to announce formulas.
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
Balbiani, P., Baltag, A., Van Ditmarsch, H., Herzig, A., Hoshi, T., De Lima, T.: What can we achieve by arbitrary announcements?: A dynamic take on Fitch’s knowability. In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge, p. 51. ACM, New York (2007)
Barwise, J., Etchemendy, J.: Tarski’s World: Version 4.0 for Macintosh (Center for the Study of Language and Information - Lecture Notes). Center for the Study of Language and Information/SRI (1993)
French, T., van Ditmarsch, H.: Undecidability for arbitrary public announcement logic
Gasquet, O., Schwarzentruber, F.: Knowledge in Lineland (Extended Abstract) (short paper). In: International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Toronto (Canada), 10/05/2010-14/05/2010 (2010)
Halpern, Y.M.J.Y.: A guide to completeness and complexity for modal logics of knowledge and belief (1996)
Moore, G.E.: Moore’s paradox. In: Baldwin, T. (ed.) Selected Writings, pp. 207–212. Routledge, Londres (1993)
Plaza, J.: Logics of public announcements. In: Proceedings 4th International Symposium on Methodologies for Intelligent Systems (1989)
Schwarzentruber, F.: Knowledge about lights along a line (2009)
Schwarzentruber, F.: Seeing, knowing, doing. Case Studies in Modal Logic (2010)
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
Gasquet, O., Schwarzentruber, F. (2011). Concrete Epistemic Modal Logic: Flatland. In: Blackburn, P., van Ditmarsch, H., Manzano, M., Soler-Toscano, F. (eds) Tools for Teaching Logic. TICTTL 2011. Lecture Notes in Computer Science(), vol 6680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21350-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-21350-2_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21349-6
Online ISBN: 978-3-642-21350-2
eBook Packages: Computer ScienceComputer Science (R0)