Craig Boutilier Modal Logics for Qualitative Possibility and Beliefs. 17-24 1992 conf/uai/1992 UAI http://rome.exp.sis.pitt.edu/UAI/Abstract.asp?articleID=625&proceedingID=8 db/conf/uai/uai1992.html#Boutilier92