Uncertainty-based knowing how logic

DOI10.1093/LOGCOM/EXAD056MaRDI QIDQ6915789zbMATH OpenFDO

Authors Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando Raymundo Velázquez-Quesada

Publication date 15 October 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAD056

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

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
• Belief, awareness, and limited reasoning
• Beyond knowing that: a new generation of epistemic logics
• BISIMULATIONS FOR KNOWING HOW LOGICS
• Constructive knowledge: what agents can achieve under imperfect information
• Contingency and knowing whether
• Dealing with logical omniscience: expressiveness and pragmatics
• First steps in updating knowing how
• How easy it is to know how: an upper bound for the satisfiability problem
• 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 824735 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Knowing how to plan
• Knowing values and public inspection
• Knowing-how under uncertainty
• Knowledge and belief. An introduction to the logic of the two notions. Prepared by Vincent F. Hendricks and John Symons
• Logical dynamics of information and interaction
• Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach
• Neighborhood semantics for logic of knowing how
• On agents that have the ability to choose
• Planning-based knowing how: a unified approach
• Reasoning about knowledge and strategies: epistemic strategy logic
• Tableau-based decision procedure for logic of knowing-how via simple plans
• Tableaux for the Logic of Strategically Knowing How
• The logic of justification
• To know is to know the value of a variable
• Together we know how to achieve: an epistemic logic of know-how
• Together we know how to achieve: an epistemic logic of know-how (extended abstract)
• Uncertainty-based semantics for multi-agent knowing how logics
• Using the Universal Modality: Gains and Questions

This page was built for publication: Uncertainty-based knowing how logic

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