Logic List Mailing Archive

CfA: PhD position 3y: asynchrony in dynamic epistemic logic, Toulouse (France), deadline: 1 April

Hans van Ditmarsch at IRIT in Toulouse has a PhD position on offer to start in October. The position will be at the University of Toulouse III (Paul Sabatier), France, and is for three years. A job interview will be in June, in Toulouse or online. A MSc in computer science, logic, AI, cognitive science, or mathematics obtained before the start of the position is required. The deadline for application is 1 April. Information is available from Hans: hansvanditmarsch@gmail.com<mailto:hansvanditmarsch@gmail.com>, https://sites.google.com/site/hansvanditmarsch/ . The PhD topic is as below.

asynchrony in dynamic epistemic logic

We propose to investigate asynchrony in dynamic epistemic logics and in distributed systems. Dynamic epistemic logics investigate change of knowledge and belief in multi-agent systems, that are often assumed to be synchronous (have a global clock). However, this assumption need not be made. In distributed systems the assumption of asynchrony is common. Their investigation is often done in temporal epistemic logics, not in dynamic epistemic logics. A typical asynchronous setting is that of gossip protocols. Asynchrony in dynamic epistemic logic plays a role in (i) history-based logical semantics for dynamic epistemic logic, (ii) logical semantics where sending messages is different from receiving messages, (iii) alternative semantics for epistemic logic based on simplicial complexes. Of interest are: decision procedures for model checking and satisfiability, complexity of decidable tasks, complete axiomatizations, applications to gossip protocols, relations to combinatorial topology, modeling Byzantine phenomena (lying, deceit).

references

Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González: Asynchronous Announcements. ACM Trans. Comput. Log. 23(2): 10:1-10:38 (2022)

Hans van Ditmarsch, Malvin Gattinger, Rahim Ramezanian: Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts. Stud Logica 111(3): 453-499 (2023)

Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier: The epistemic gossip problem. Discret. Math. 342(3): 654-663 (2019)

Hans van Ditmarsch   hansvanditmarsch@gmail.com<mailto:hansvanditmarsch@gmail.com>  https://sites.google.com/site/hansvanditmarsch/
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php