Cecylia Rauszer Rough Logic for Multi-Agent Systems. 161-181 1992 conf/law/1992 Logic at Work db/conf/law/law1992.html#Rauszer92