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

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

Research output: Contribution to journalArticlepeer-review

1 Downloads (Pure)

Fingerprint

Dive into the research topics of 'A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science