A First-Order Logic of Limited Belief Based on Possible Worlds.

Gerhard Lakemeyer, Hector J. Levesque

Browse the full KR paper archive.