David Pym

Exploring basic behaviors and their significance in system modeling.

2025-09-13T14:28:12+00:00 ― 4 min read

Exploring a framework for understanding knowledge among multiple agents in modal logic.

2025-08-08T14:12:15+00:00 ― 5 min read