A dynamic epistemic logic analysis of the equality negation task

DOI10.1007/978-3-030-38808-9_4zbMath1496.03072arXiv1909.03263OpenAlexW3004146138MaRDI QIDQ777882

Jérémy Ledent, Sergio Rajsbaum, Marijana Lazić, Eric Goubault

Publication date: 8 July 2020

Full work available at URL: https://arxiv.org/abs/1909.03263

zbMATH Keywords

distributed computingdynamic epistemic logicequality negation

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Distributed systems (68M14)

Related Items (3)

Wanted dead or alive: epistemic logic for impure simplicial complexes ⋮ A simplicial complex model for dynamic epistemic logic to study distributed task computability ⋮ A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks

This page was built for publication: A dynamic epistemic logic analysis of the equality negation task