A Modal Proof Method for Doxastic Reasoning in Incomplete Theories.

Peter Jackson, Han Reichgelt

Browse the full ECAI paper archive.