nLab doxastic logic

Idea

Doxastic logic is meant to be the form of modal logic which allows to express propositions of the form: “$p$ is believed to be true”.

Related concepts

• epistemic logic

• temporal logic

References

See also:

• Wikipedia, Doxastic logic