Dazhu Li

Last updated September 2026

Talks

2026

  1. “Cops Only Need Factual Knowledge to Catch Robbers.”
    23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026), Lisbon, Portugal, July 20-23.
  2. “Modal Logics for Substitution.”
    Tsinghua Logic Colloquium, Summer Meeting: Reasoning, Modality and Non-classical Logic, July 14.
  3. “Modal Approaches towards Mereology.”
    Workshop on Mereology, Shandong University, June 22.
  4. “What Knowledge Matters in Order to Meet?”
    Workshop on Advances in Social Network Logic, Tsinghua University, June 3-4.
  5. “Cops and Robber: Only Factual Knowledge Matters.”
    Recent Trends in Logic and Game Theory 2026, Chennai, India, March 16-18. Online.
  6. “Logics for the Hide and Seek Game.”
    18th Tsinghua Logic Colloquium: Advances in Logic, Beijing, January 12.

2025

  1. “Hybrid Product Logic with Diagonal Constant.”
    2025 Academic Frontiers Forum of Beijing City Federation of Social Science Circles - Beijing Association of Logic Session, Beijing, November 15.
  2. “Graph Games and Logic Design.”
    Computational Logic and Applications Winter School, Shantou, October 25.
  3. “Meet vs Avoid: Logical Approaches to the Hide and Seek Game.”
    Recent Trends in Logic and Game Theory 2025, Chennai, India, February 11-12. Online.

2024

  1. “Graph Game Logic: Some Recent Developments.”
    International Workshop on Logic and Games, Taiyuan, China, October 19.
  2. “Logics of the Hide and Seek Game & Product Logics with Diagonal Constant: A Hybrid Approach.”
    12th Tsinghua Logic Colloquium, Summer Meeting: Advances in Logic, Beijing, August 17.
  3. “Mereology Based on the Sum Relation.”
    3rd International Workshop on Logic for Multi-Agent Systems, Zhejiang University, June 22-23.
  4. “Modal Logics for Mereology.”
    Interdisciplinary Seminar on Logic, Cognition and Mathematical Philosophy, Sanya, April 29 - May 3.
  5. “A Modal Approach towards Substitutions.”
    SWU-UiB Logic Workshop, Chongqing, March 27-28.
  6. “Tableau Calculi for the Hybrid Logic of the Hide and Seek Game and Further Extensions.”
    Sapporo One-day Workshop on Hybrid Logic and Proof Theory, Sapporo, Japan, March 7.

2023

  1. “Action-information Interplay in Cops and Robbers Games.”
    Bridges between Logic, Ethics and Social Sciences (BLESS), Toruń, Poland, November 22-25. Online.
  2. “A Logical Approach to Learning Process.”
    Logic Meets Norms, Tsinghua University, Beijing, May 29.

2022

  1. “Logical Approaches to the Cops and Robber Game.”
    Chinese Annual Conference on Mathematical Logic, China, November 25-27, 2022.
  2. “Hybrid Logic of the Hide and Seek Game.”
    Sichuan University, November 24, 2022.
  3. “A Logical Analysis of Dynamic Dependence.”
    Tsing Ch'a Sessions, Tsinghua University, Beijing, May 26, 2022.
  4. “Mereological Bimodal Logics.”
    Beijing Normal University, March 25, 2022.

2021 and earlier

  1. “Undecidability of the Logic of Hide and Seek Games.”
    Indian Statistical Institute, June 16, 2021. Online.
  2. “A Modal Logic for Supervised Learning.”
    LIRa Seminar, University of Amsterdam, January 23, 2020.
  3. “Dynamic Epistemic Logics in Social Networks.”
    Logic Salon, Tsinghua University, Beijing, October 23, 2019.
  4. “Losing Connection: Modal Logics of Definable Link Deletion.”
    13th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2018), Milan, July 16-18, 2018.
  5. “Modal Mereology.”
    9th International Workshop on Logic and Cognition, Guangzhou, December 4-8, 2017.