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

10 Citations (Scopus)
18 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.

Arts and Humanities

Mathematics

Computer Science

Psychology