Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief

Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen

Research output: Contribution to journalJournal articleResearchpeer-review

376 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief'. Together they form a unique fingerprint.

Mathematics

Keyphrases