The Logic of digital knowledge
What principles does knowledge follow? How does the exchange of data between agents, including robots, work? How can we model information flow in social networks? The fundamental tools to understanding knowledge's formal and computational behaviour is at the heart of these questions.
This course aims to provide:
- a self-contained introduction to epistemic logic
- a practical overview of its applications.
I believe it is worth sharing the experience I gained through the 2 Summer Schools in Logic and Information (ESSLLI2021 in Utrecht and NASSLLI2022 in Los Angeles). Therefore, I want to seize the opportunity by teaching a module on logic of digital knowledge.