ポール・アルパーが、私が全く聞いたことのない数学的枠組みについて教えてくれました。Wikipediaのページによると、「ドクスタティック論理とは、信念に関する推論を扱う論理の一種です。…ある人が…」