Uncertainty-based semantics for multi-agent knowing how logics

DOI10.4204/EPTCS.335.3MaRDI QIDQ6642564

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

Publication date: 24 November 2024

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

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?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dynamic epistemic logic
• ``Knowing whether, ``knowing that, and the cardinality of state spaces
• On agents that have the ability to choose
• Ability and knowing how in the situation calculus
• A logic of goal-directed knowing how
• A logic of knowing how with skippable plans
• A logic of knowing why
• Logical Dynamics of Information and Interaction
• Beyond Knowing That: A New Generation of Epistemic Logics
• A Logic of Knowing How
• THE LOGIC OF JUSTIFICATION
• Constructive knowledge: what agents can achieve under imperfect information
• Using the Universal Modality: Gains and Questions
• Knowing Values and Public Inspection
• Achieving While Maintaining:
• CONTINGENCY AND KNOWING WHETHER

Related Items (2)

How easy it is to know how: an upper bound for the satisfiability problem ⋮ First steps in updating knowing how

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)