Neighborhood semantics for logic of knowing how

DOI10.1007/S11229-021-03177-6zbMATH Open1529.03135OpenAlexW3158420380MaRDI QIDQ6147178FDOQ6147178

Authors: Yanjun Li, Yanjing Wang 

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

Recommendations

• Uncertainty-based semantics for multi-agent knowing how logics
• A Logic of Knowing How
• BISIMULATIONS FOR KNOWING HOW LOGICS
• A logic of knowing how with skippable plans
• ``Knowing value logic as a normal modal logic

zbMATH Keywords

epistemic logicneighborhood semanticslogic of knowing how

Mathematics Subject Classification ID

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

Cites Work

• On the logic of ability
• Title not available (Why is that?)
• Action and ability
• Title not available (Why is that?)
• Neighborhood semantics for modal logic
• Evidence and plausibility in neighborhood structures
• A new modal framework for epistemic logic
• Constructive knowledge: what agents can achieve under imperfect information
• Together we know how to achieve: an epistemic logic of know-how
• A logic of goal-directed knowing how
• A Logic of Knowing How
• Coalition logic with individual, distributed and common knowledge
• Title not available (Why is that?)
• Beyond knowing that: a new generation of epistemic logics
• Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach
• A logic of knowing why
• ``Knowing value logic as a normal modal logic
• Conditionally knowing what
• Planning-based knowing how: a unified approach

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6147178)