A logic of goal-directed knowing how

DOI10.1007/s11229-016-1272-0zbMath1452.03054OpenAlexW2552672541MaRDI QIDQ2218708

Yanjing Wang

Publication date: 18 January 2021

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-016-1272-0

zbMATH Keywords

modal logicepistemic logicconformant planningknowing how

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items

Multi-agent conformant planning with distributed knowledge, Completeness theorems for \(\exists \Box\)-fragment of first-order modal logic, Data-informed knowledge and strategies, Model theoretical aspects of weakly aggregative modal logic, BISIMULATIONS FOR KNOWING HOW LOGICS, Inquisitive logic as an epistemic logic of knowing how, Are bundles good deals for first-order modal logic?, Tableaux for the Logic of Strategically Knowing How, Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract), Neighborhood semantics for logic of knowing how, A logic of knowing why, Tableau-based decision procedure for logic of knowing-how via simple plans, Together we know how to achieve: an epistemic logic of know-how, Unnamed Item, Unnamed Item, Planning-based knowing how: a unified approach, Intelligence in Strategic Games, Stit semantics for epistemic notions based on information disclosure in interactive settings, Unnamed Item, On composition of bounded-recall plans, Knowing the price of success

Cites Work

• Conditional belief types
• Inquisitive dynamic epistemic logic
• Logics of communication and change
• On the logic of ability
• Simulation and transfer results in modal logic -- a survey
• ``Knowing whether, ``knowing that, and the cardinality of state spaces
• First-order modal logic
• An essay in modal logic
• Using STIT Theory to Talk About Strategies
• Reasoning about Actions Meets Strategic Logics
• Representing Imperfect Information of Procedures with Hyper Models
• Beyond Knowing That: A New Generation of Epistemic Logics
• Alternating-time temporal logic
• A Logic of Knowing How
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• THE LOGIC OF JUSTIFICATION
• Using the Universal Modality: Gains and Questions
• Relation-changing modal operators: Fig. 1.
• CONTINGENCY AND KNOWING WHETHER
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item