Epistemic Logic: A branch of logic that deals with knowledge and belief, focusing on how agents acquire and manage knowledge. Deontic Logic: A type of logic that formalizes concepts of obligation ...