Výsledky vyhledávání - "Gattinger, M."

The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is Unsatisfiable

Autor: van Ditmarsch, H., Gattinger, M., Ciabattoni, A., Pimentel, E., de Queiroz, R.J.G.B.

Publikováno v: Logic, Language, Information, and Computation: 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022 : proceedings, 237-249
STARTPAGE=237;ENDPAGE=249;TITLE=Logic, Language, Information, and Computation
Logic, Language, Information, and Computation ISBN: 9783031152979

It is known that without synchronization via a global clock one cannot obtain common knowledge by communication. Moreover, it is folklore that without exchanging higher-level information arbitrary higher-level shared knowledge cannot be achieved. Her

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8691600c33cfcdd23dab9ecc9c0c262b
https://dare.uva.nl/personal/pure/en/publications/the-limits-togossip-secondorder-shared-knowledge-of-all-secrets-is-unsatisfiable(e474a6b7-c44f-4833-b2be-d1d6302bd0ab).html

Zobrazit plný text záznamu

Everyone Knows that Everyone Knows

Autor: Ramezanian, R., van Ditmarsch, H., Gattinger, M., Mojtahedi, M., Rahman, S., Zarepour, M.S.

Publikováno v: Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir, 117-133
STARTPAGE=117;ENDPAGE=133;TITLE=Mathematics, Logic, and their Philosophies
Logic, Epistemology, and the Unity of Science ISBN: 9783030536534

A gossip protocol is a procedure for sharing secrets in a network. The basic action in a gossip protocol is a telephone call wherein the caller and the callee exchange all the secrets they know. An agent who knows all secrets is an expert. The usual

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d90fdc9b3204c8a13855d1d961bc42d
https://dare.uva.nl/personal/pure/en/publications/everyone-knows-that-everyone-knows(a597d1f4-1fb0-480e-ab76-38022f2fd4d0).html

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Knowing Values and Public Inspection

Autor: van Eijck, J., Gattinger, M., Wang, Y., Ghosh, S., Prasad, S.

Publikováno v: Logic and Its Applications ISBN: 9783662540688
Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings, 77-90
STARTPAGE=77;ENDPAGE=90;TITLE=Logic and Its Applications

We present a basic dynamic epistemic logic of “knowing the value”. Analogous to public announcement in standard DEL, we study “public inspection”, a new dynamic operator which updates the agents’ knowledge about the values of constants. We

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b68b93c94a001415da6f2d3505a41207
https://doi.org/10.1007/978-3-662-54069-5_7

Zobrazit plný text záznamu

Elements of epistemic crypto logic

Autor: van Eijck, J., Gattinger, M.

Publikováno v: AAMAS '15: proceedings of the 2015 International Conference on Autonomous Agents & Multiagent Systems : May, 4-8, 2015, Istanbul, Turkey, 3, 1795-1796

Representation of ignorance about large numbers --- agent a does not know agent b's key --- is not feasible in standard Kripke semantics. The paper introduces register models that allow for compact representation of such ignorance. This is used to de

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::f1eae11dda0ceaa3f134b634617fb389
https://dare.uva.nl/personal/pure/en/publications/elements-of-epistemic-crypto-logic(81c4a31e-9037-4b07-bb2e-587a034bd74b).html

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání