Atefeh Rohani Logic and Theory Group E-Mail atefeh.rohani@unibe.ch Büro 308 Postadresse Neubrückstrasse 10 3012 Bern