A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks

DOI10.1016/J.JLAMP.2021.100662zbMATH Open1502.68195OpenAlexW3128303183MaRDI QIDQ2043796FDOQ2043796

Éric Goubault, Marijana Lazić, Hans van Ditmarsch, Jérémy Ledent, Sergio Rajsbaum

Publication date: 3 August 2021

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100662

zbMATH Keywords

distributed computingcombinatorial topologydynamic epistemic logiccovering spacesequality negation

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Covering spaces and low-dimensional topology (57M10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logics of communication and change
• Dynamic Epistemic Logic and Knowledge Puzzles
• Impossibility of distributed consensus with one faulty process
• The topological structure of asynchronous computability
• A combinatorial characterization of the distributed 1-solvable tasks
• Three-Processor Tasks Are Undecidable
• Action emulation
• A dynamic epistemic logic analysis of the equality negation task
• Covering complexes with applications to algebra
• Locality and checkability in wait-free computing
• The expressivity of update logics
• On the robustness of Herlihy's hierarchy
• All of Us Are Smarter than Any of Us: Nondeterministic Wait-Free Hierarchies Are Not Robust
• Arrow update synthesis
• Wait-free solvability of equality negation tasks

Cited In (5)

• Communication pattern logic: epistemic and topological views
• Impure Simplicial Complexes: Complete Axiomatization
• Simplicial models for the epistemic logic of faulty agents
• Defining logical obstruction with fixpoints in epistemic logic
• A Spatial Logic for Simplicial Models

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond* 👍 👎
• Merging frameworks for interaction 👍 👎
• A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation 👍 👎
• A dynamic epistemic logic analysis of the equality negation task 👍 👎
• A general framework for dynamic epistemic logic: towards canonical correspondences 👍 👎
• A simplicial complex model for dynamic epistemic logic to study distributed task computability 👍 👎
• Tableau method and NEXPTIME-completeness of DEL-sequents 👍 👎
• Symbolic Model Checking for Dynamic Epistemic Logic 👍 👎

This page was built for publication: A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2043796)