0547636 - ÚI 2022 RIV AU eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Christoff, Z. - Roy, O.Revisiting Epistemic Logic with Names.
Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge. Waterloo: Open Publishing Association, 2021 - (Halpern, J.; Perea, A.), s. 39-54. Electronic Proceedings in Theoretical Computer Science, 335. ISSN 2075-2180.
[TARK 2021: Theoretical Aspects of Rationality and Knowledge /18./. Beijing (CN), 25.06.2021-27.06.2021]
Institucionální podpora: RVO:67985807
Klíčová slova: epistemic logic * multi-agent epistemic logic * common knowledge * distributed knowledge * neighbourhood semantics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2021.4
Trvalý link: http://hdl.handle.net/11104/0323830