Search
2020
with Wawer Jacek
Synthese 197/5
2012
with Gifford Chris
Synthese 188/1
Branching-time and indeterminacy