First steps in updating knowing how

DOI10.1007/978-3-031-26622-5_1MaRDI QIDQ6550518

Could not fetch data.

Publication date: 5 June 2024

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Arbitrary arrow update logic
• Group announcement logic
• Ability and knowing how in the situation calculus
• A logic of goal-directed knowing how
• A logic of knowing how with skippable plans
• ARROW UPDATE LOGIC
• A Logic of Knowing How
• ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
• Constructive knowledge: what agents can achieve under imperfect information
• Using the Universal Modality: Gains and Questions
• Relation-changing modal operators: Fig. 1.
• BISIMULATIONS FOR KNOWING HOW LOGICS
• How to update neighbourhood models
• Achieving While Maintaining:
• Universal grammar
• Uncertainty-based semantics for multi-agent knowing how logics

This page was built for publication: First steps in updating knowing how

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