Interactions between knowledge, action and commitment within agent dynamic logic

DOI10.1007/s11225-004-6042-1zbMath1077.03007OpenAlexW2120918988MaRDI QIDQ1770620

Dmitry Tishkovsky, Ullrich Hustadt, Renate A. Schmidt

Publication date: 7 April 2005

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-004-6042-1

zbMATH Keywords

knowledgecompletenessdecidabilitydynamic logicsoundnessactionsabilitiesmulti-modal logiccommitmentsagent logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (4)

Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles ⋮ A sequent calculus for propositional dynamic logic for agents with interactions ⋮ Interactions between knowledge, action and commitment within agent dynamic logic ⋮ Formal Modelling of Emotions in BDI Agents

Uses Software

• KARO

Cites Work

• KARO
• The complexity of reasoning about knowledge and time. I: Lower bounds
• A guide to completeness and complexity for modal logics of knowledge and belief
• Propositional dynamic logic of regular programs
• Tools and techniques in modal logic
• Many-dimensional modal logics: theory and applications
• Interactions between knowledge, action and commitment within agent dynamic logic
• On agents that have the ability to choose
• A logical approach to the dynamics of commitments
• Highway to the Danger Zone
• Products of modal logics, part 1
• The product of converse PDL and polymodal K
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interactions between knowledge, action and commitment within agent dynamic logic