A logic of goal-directed knowing how
From MaRDI portal
Publication:2218708
Recommendations
Cites work
- ``Knowing value logic as a normal modal logic
- ``Knowing whether, ``knowing that, and the cardinality of state spaces
- A dynamic epistemic framework for conformant planning
- A Logic of Knowing How
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
- Almost necessary
- Alternating-time temporal logic
- An essay in modal logic
- Beyond knowing that: a new generation of epistemic logics
- Conditional belief types
- Conditionally knowing what
- Contingency and knowing whether
- First-order modal logic
- Handbook of epistemic logic
- scientific article; zbMATH DE number 3616386 (Why is no real title available?)
- 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 3359806 (Why is no real title available?)
- Inquisitive dynamic epistemic logic
- Logics of communication and change
- Not all those who wander are lost: dynamic epistemic reasoning in navigation
- On the logic of ability
- Reasoning about actions meets strategic logics
- Reasoning about knowledge and strategies: epistemic strategy logic
- Relation-changing modal operators
- Representing imperfect information of procedures with hyper models
- Simulation and transfer results in modal logic -- a survey
- The logic of justification
- Using STIT theory to talk about strategies
- Using the Universal Modality: Gains and Questions
Cited in
(36)- Together we know how to achieve: an epistemic logic of know-how
- On composition of bounded-recall plans
- Multi-agent conformant planning with distributed knowledge
- Completeness theorems for -fragment of first-order modal logic
- Data-informed knowledge and strategies
- Model theoretical aspects of weakly aggregative modal logic
- Inquisitive logic as an epistemic logic of knowing how
- Planning-based knowing how: a unified approach
- A logic of knowing how with skippable plans
- 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 (extended abstract)
- A new modal framework for epistemic logic
- A Logic of Knowing How
- scientific article; zbMATH DE number 1301748 (Why is no real title available?)
- BISIMULATIONS FOR KNOWING HOW LOGICS
- Bundled fragments of first-order modal logic: (un)decidability
- Intelligence in strategic games
- Achieving while maintaining: a logic of knowing how with intermediate constraints
- Stit semantics for epistemic notions based on information disclosure in interactive settings
- Are bundles good deals for first-order modal logic?
- 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
- How easy it is to know how: an upper bound for the satisfiability problem
- First steps in updating knowing how
- Uncertainty-based semantics for multi-agent knowing how logics
- Knowing how to plan
- Knowing how to plan about planning: higher-order and meta-level epistemic planning
- Complexity of multi-agent conformant planning with group knowledge
- Completeness theorems for \(\exists \Box\)-bundled fragment of first-order modal logic
- Craig interpolation property in -bundled fragment of first-order modal logic
- Knowable as knowing how to inquire
- Uncertainty-based knowing how logic
- Matching theories with evidence: a logic for demanding knowing why
- Knowing the price of success
This page was built for publication: A logic of goal-directed knowing how
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2218708)
