Philosophy
Analytic philosophy
Artificial intelligence
Epistemic modal logic
Modal logic
Conjunct
Deductive closure
Omniscience
Closure
Epistemology
Logic
Deduction