Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc.

James Hales, Tim French, Rowan Davies

Browse the full AiML paper archive.