Logical Non-determinism as a Tool for Logical Modularity: An Introduction.

Arnon Avron Logical Non-determinism as a Tool for Logical Modularity: An Introduction. 105-124 2005 conf/birthday/2005gabbay1 We Will Show Them! (1) db/conf/birthday/Gabbay1.html#Avron05