Metodo
International Studies in Phenomenology and Philosophy
Journal | Authors
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
2017
Mikkel Birkegaard AndersenThomas BolanderHans van Ditmarsch
Synthese 194/7
