A Logic of Knowing How

DOI10.1007/978-3-662-48561-3_32zbMath1471.03038arXiv1505.06651OpenAlexW364602241MaRDI QIDQ3457721

Yanjing Wang

Publication date: 17 December 2015

Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)

Related Items

Computation as social agency: what, how and who, Multi-agent conformant planning with distributed knowledge, BISIMULATIONS FOR KNOWING HOW LOGICS, 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, A logic of goal-directed knowing how, Beyond Knowing That: A New Generation of Epistemic Logics, Planning-based knowing how: a unified approach, Intelligence in Strategic Games, An epistemic logic of blameworthiness, Stit semantics for epistemic notions based on information disclosure in interactive settings, Knowing-how under uncertainty, On composition of bounded-recall plans, Achieving While Maintaining:, 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
• Representing Imperfect Information of Procedures with Hyper Models
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• Using the Universal Modality: Gains and Questions
• Towards a Logic of Information Exchange
• CONTINGENCY AND KNOWING WHETHER
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item