Abstract
Standard epistemic logic studies reasoning patterns about ‘knowing that’, where interesting group notions of ‘knowing that’ arise naturally, such as distributed knowledge and common knowledge. In recent research, other notions of knowledge are also studied, such as ‘knowing whether’, ‘knowing how’, and so on. It is natural to ask what are the group notions of these non-standard knowledge expressions. This paper makes an initial attempt in this line, by looking at the notion corresponding to distributed knowledge in the setting of ‘knowing whether’. We introduce the distributed know-whether operator, and give complete axiomatizations of the resulting logics over arbitrary or \(\mathcal {S}\)5 frames, based on the corresponding axiomatizations of ‘knowing whether’.
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
Similar content being viewed by others
References
Halpern, J.Y.: Using reasoning about knowledge to analyze distributed systems. Annu. Rev. Comput. Sci. 2, 37–68 (1987)
Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. Annu. Rev. Comput. Sci. 37(3), 549–587 (1990)
Fagin, R., Halpern, J.Y., Vardi, M.Y.: What can machines know?: on the properties of knowledge in distributed systems. J. Assoc. Comput. Mach. 39(2), 328–376 (1992)
Roelofsen, F.: Distributed knowledge. J. Appl. Non Class. Logics 17(2), 255–273 (2007)
Gerbrandy, J.D.: Bisimulations on planet kripke (2006)
Wang, Y.: Beyond knowing that: a new generation of epistemic logics. In: Jaakko Hintikka on knowledge and game theoretical semantics (2016). arXiv.org/abs/1605.01995. (forthcoming)
Fan, J., Wang, Y., van Ditmarsch, H.: Almost neccessary. Proceedings of AiML 10, 178–196 (2014)
Wang, Y.: A logic of goal-directed knowing how, Synthese (2017). forthcoming
Xu, C., Wang, Y., Studer, T.: A logic of knowing why (2016). arXiv:1609.06405
Fan, J., Wang, Y., Ditmarsch, H.V.: Contingency and knowing whether. Rev. Symbol. Logic 8(1), 1–33 (2015)
Fan, J.: Distributed knowledge whether to appear. In: proceedings of Sixth International Conference on Logics, Rationality and Interaction (LORI) (2017)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer-Verlag GmbH Germany
About this paper
Cite this paper
Su, X. (2017). Distributed Knowing Whether. In: Baltag, A., Seligman, J., Yamada, T. (eds) Logic, Rationality, and Interaction. LORI 2017. Lecture Notes in Computer Science(), vol 10455. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-55665-8_47
Download citation
DOI: https://doi.org/10.1007/978-3-662-55665-8_47
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-55664-1
Online ISBN: 978-3-662-55665-8
eBook Packages: Computer ScienceComputer Science (R0)