Logic

Research Frontiers in Dynamic Epistemic Logic and Action Effects

Combines epistemic logic with dynamic logic to model how public and private actions change agents'' knowledge and beliefs.

All Logic PhD categories