Category:形式認識論

Common knowledge (logic)

Non-monotonic logic

Epistemic modal logic

Probabilistic logic