Tableaux for the Logic of Strategically Knowing How

DOI10.4204/eptcs.379.30arXiv2307.05066OpenAlexW4383618596MaRDI QIDQ6118724

Yanjun Li

Publication date: 28 February 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2307.05066

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• A guide to completeness and complexity for modal logics of knowledge and belief
• Together we know how to achieve: an epistemic logic of know-how
• ``Knowing whether, ``knowing that, and the cardinality of state spaces
• Ability and knowing how in the situation calculus
• A logic of goal-directed knowing how
• Planning-based knowing how: a unified approach
• Knowing-how under uncertainty
• An essay in modal logic
• A logic of knowing why
• Tableau-based decision procedure for logic of knowing-how via simple plans
• Beyond Knowing That: A New Generation of Epistemic Logics
• A Logic of Knowing How
• Constructive knowledge: what agents can achieve under imperfect information
• CONTINGENCY AND KNOWING WHETHER
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Tableaux for the Logic of Strategically Knowing How