The dynamics of knowing how
From MaRDI portal
Cites work
- `Knowable' as `known after an announcement'
- A logic of goal-directed knowing how
- A Logic of Knowing How
- A logic of knowing how with skippable plans
- Ability and knowing how in the situation calculus
- Achieving while maintaining: a logic of knowing how with intermediate constraints
- Action models for coalition logic
- Arbitrary arrow update logic
- Arrow update logic
- Beyond knowing that: a new generation of epistemic logics
- Constructive knowledge: what agents can achieve under imperfect information
- Explaining games. The epistemic programme in game theory
- First steps in updating knowing how
- Group announcement logic
- scientific article; zbMATH DE number 2182496 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 824735 (Why is no real title available?)
- scientific article; zbMATH DE number 3359806 (Why is no real title available?)
- Hybrid sabotage modal logic
- Introduction to formal philosophy. With the assistance of Esther Michelsen Kjeldahl
- Knowing how to plan about planning: higher-order and meta-level epistemic planning
- Logical dynamics of information and interaction
- Reasoning about knowledge and strategies: epistemic strategy logic
- Schematic Validity in Dynamic Epistemic Logic: Decidability
- Semantic results for ontic and epistemic change
- Tableau-based decision procedure for logic of knowing-how via simple plans
- THE MODAL LOGIC OF STEPWISE REMOVAL
- Uncertainty-based knowing how logic
- Uncertainty-based semantics for multi-agent knowing how logics
- Using the Universal Modality: Gains and Questions
This page was built for publication: The dynamics of knowing how
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7396496)
