Skip to main content
SpringerLink
Log in

Distributed Knowing Whether

(Extended Abstract)

  • Conference paper
  • First Online:
Logic, Rationality, and Interaction (LORI 2017)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10455))

Included in the following conference series:

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

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Jie Fan also proposed the distributed-knowing-whether operator independently, with a citation to [11] in the same proceedings.

  2. 2.

    The name NCL comes from non-contingency logic, cf. [10].

References

  1. Halpern, J.Y.: Using reasoning about knowledge to analyze distributed systems. Annu. Rev. Comput. Sci. 2, 37–68 (1987)

    Article  MathSciNet  Google Scholar 

  2. Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. Annu. Rev. Comput. Sci. 37(3), 549–587 (1990)

    MathSciNet  MATH  Google Scholar 

  3. 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)

    Article  MathSciNet  MATH  Google Scholar 

  4. Roelofsen, F.: Distributed knowledge. J. Appl. Non Class. Logics 17(2), 255–273 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  5. Gerbrandy, J.D.: Bisimulations on planet kripke (2006)

    Google Scholar 

  6. 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)

  7. Fan, J., Wang, Y., van Ditmarsch, H.: Almost neccessary. Proceedings of AiML 10, 178–196 (2014)

    Google Scholar 

  8. Wang, Y.: A logic of goal-directed knowing how, Synthese (2017). forthcoming

    Google Scholar 

  9. Xu, C., Wang, Y., Studer, T.: A logic of knowing why (2016). arXiv:1609.06405

  10. Fan, J., Wang, Y., Ditmarsch, H.V.: Contingency and knowing whether. Rev. Symbol. Logic 8(1), 1–33 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  11. Fan, J.: Distributed knowledge whether to appear. In: proceedings of Sixth International Conference on Logics, Rationality and Interaction (LORI) (2017)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, Peking University, Beijing, China

    Xingchi Su

Authors
  1. Xingchi Su
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Xingchi Su .

Editor information

Editors and Affiliations

  1. Institute for Logic, Language and Computation, University of Amsterdam , Amsterdam, Noord-Holland, The Netherlands

    Alexandru Baltag

  2. Department of Philosophy, The University of Auckland, Auckland, Auckland, New Zealand

    Jeremy Seligman

  3. Graduate School of Letters, Hokkaido University , Sapporo, Japan

    Tomoyuki Yamada

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Societies and partnerships

Search

Navigation