QLB: A Quantified Logic for Belief.

Alessio Lomuscio Marco Colombetti QLB: A Quantified Logic for Belief. 71-85 1996 conf/atal/1996 ATAL db/conf/atal/atal1996.html#LomuscioC97