Beyond a Reasonable Doubt: A Logical Formalisation based on Topological Semantics

Mirko Tagliaferri

PostDoc Researcher

I obtained my PhD at the University of Urbino in 2019, and then proceeded to work here as a postdoctoral fellow for five years. Since July 2025, I have had a one-year postdoctoral position at TU Wien. My work explores how formal frameworks, e.g., modal logic, can be applied as tools to understand better the decision-making process of human and AI agents. I am also an expert in computational trust models and their application to security, and I believe that trust can improve collaborations between artificial systems.