Logic

Research Frontiers in Epistemic Logic and Knowledge Representation

Formalizes reasoning about knowledge, belief, and information states across multiple agents with dynamic update mechanisms.

All Logic PhD categories