Neighborhood semantics for logic of knowing how

DOI10.1007/s11229-021-03177-6zbMath1529.03135OpenAlexW3158420380MaRDI QIDQ6147178

Yanjing Wang, Yanjun Li

Publication date: 1 February 2024

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-021-03177-6

zbMATH Keywords

epistemic logicneighborhood semanticslogic of knowing how

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Evidence and plausibility in neighborhood structures
• Action and ability
• On the logic of ability
• 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
• Neighborhood semantics for modal logic
• A logic of knowing why
• Beyond Knowing That: A New Generation of Epistemic Logics
• A Logic of Knowing How
• Constructive knowledge: what agents can achieve under imperfect information
• Coalition logic with individual, distributed and common knowledge1

This page was built for publication: Neighborhood semantics for logic of knowing how