the modal logic of belief and disbelief.

• 讨论信仰与非信仰的模态逻辑。