Epistemic Logic

Epistemic logic studies reasoning about knowledge and belief, aiming to formally represent and analyze how agents update their understanding based on evidence and interactions. Current research focuses on applying these frameworks to artificial intelligence, particularly in evaluating the reasoning capabilities of large language models and developing more robust and explainable AI systems, often using Bayesian models and extensions of modal logic. This work is crucial for advancing AI safety and trustworthiness, as well as for understanding human cognition and improving human-computer interaction in complex decision-making scenarios.