Tableau-based decision procedure for logic of knowing-how via simple plans

DOI10.1007/978-3-030-89391-0_15OpenAlexW3206930063MaRDI QIDQ2695519

Yanjun Li

Publication date: 31 March 2023

Full work available at URL: https://doi.org/10.1007/978-3-030-89391-0_15

zbMATH Keywords

epistemic logictableauknowing-how logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Related Items (1)

Tableaux for the Logic of Strategically Knowing How

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
• A logic of goal-directed knowing how
• Planning-based knowing how: a unified approach
• Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach
• An essay in modal logic
• Tableaux for Public Announcement Logic
• A Logic of Knowing How
• Achieving While Maintaining:
• CONTINGENCY AND KNOWING WHETHER
• Unnamed Item

This page was built for publication: Tableau-based decision procedure for logic of knowing-how via simple plans