tom-epistemic-logic

Dynamic Epistemic Logic–based Theory-of-Mind (ToM) prompting skill, grounded in MindGames (EMNLP 2023 Findings) for structured epistemic updates and reasoning.