Uncertainty-based semantics for multi-agent knowing how logics
From MaRDI portal
Recommendations
Cites work
- ``Knowing value logic as a normal modal logic
- ``Knowing whether, ``knowing that, and the cardinality of state spaces
- A logic of goal-directed knowing how
- A Logic of Knowing How
- A logic of knowing how with skippable plans
- A logic of knowing why
- Ability and knowing how in the situation calculus
- Achieving while maintaining: a logic of knowing how with intermediate constraints
- Beyond knowing that: a new generation of epistemic logics
- Constructive knowledge: what agents can achieve under imperfect information
- Contingency and knowing whether
- Dynamic epistemic logic
- scientific article; zbMATH DE number 1556014 (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?)
- Knowing values and public inspection
- Logical dynamics of information and interaction
- On agents that have the ability to choose
- Reasoning about knowledge and strategies: epistemic strategy logic
- The logic of justification
- To know is to know the value of a variable
- Using the Universal Modality: Gains and Questions
Cited in
(7)- Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach
- A logic of knowing how with skippable plans
- Tableaux for the Logic of Strategically Knowing How
- 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 knowing how logic
This page was built for publication: Uncertainty-based semantics for multi-agent knowing how logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6642564)
