Modal Logic - Doxastic Logic

Doxastic logic concerns the logic of belief (of some set of agents). The term doxastic is derived from the ancient Greek doxa which means "belief". Typically, a doxastic logic uses, often written "B", to mean "It is believed that", or when relativized to a particular agent s, "It is believed by s that".