David Fernández-Duque is a contemporary logician and mathematician known for his work in modal logic, provability logic, and the logical foundations of game theory. His research bridges formal epistemology and dynamic reasoning, particularly concerning belief revision and plausibility in sequential interaction.
Contributions to provability logic and polymodal systems
Work on dynamic epistemic logic and belief revision
Research on plausibility models in sequential games
Formal analysis of reasoning in extensive-form games