Interactions between knowledge, action and commitment within agent dynamic logic

DOI10.1007/S11225-004-6042-1MaRDI QIDQ1770620zbMATH OpenOpenAlexFDO

Authors Renate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt

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

abilitiescompletenessdecidabilityknowledgedynamic logicsoundnessactionsmulti-modal logiccommitmentsagent logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1931647
• A logical approach to the dynamics of commitments
• A sequent calculus for propositional dynamic logic for agents with interactions
• A logical analysis of commitment dynamics
• Multi-agent dynamic logics with informational test

Cites work

• scientific article; zbMATH DE number 3974280 (Why is no real title available?)
• scientific article; zbMATH DE number 1192312 (Why is no real title available?)
• scientific article; zbMATH DE number 140411 (Why is no real title available?)
• scientific article; zbMATH DE number 3499717 (Why is no real title available?)
• scientific article; zbMATH DE number 2024628 (Why is no real title available?)
• scientific article; zbMATH DE number 1759733 (Why is no real title available?)
• scientific article; zbMATH DE number 1773056 (Why is no real title available?)
• scientific article; zbMATH DE number 1931647 (Why is no real title available?)
• scientific article; zbMATH DE number 1852920 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A guide to completeness and complexity for modal logics of knowledge and belief
• A logical approach to the dynamics of commitments
• Highway to the Danger Zone
• Interactions between knowledge, action and commitment within agent dynamic logic
• KARO
• Many-dimensional modal logics: theory and applications
• On agents that have the ability to choose
• Products of modal logics, part 1
• Propositional dynamic logic of regular programs
• The complexity of reasoning about knowledge and time. I: Lower bounds
• The product of converse PDL and polymodal K
• Tools and techniques in modal logic

Cited in

(17)

• Formal Modelling of Emotions in BDI Agents
• Minimizing agent specifications using a logic of knowledge and actions
• A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
• Formalizing potential of agents. The KARO framework revisited
• scientific article; zbMATH DE number 1931647 (Why is no real title available?)
• A sequent calculus for propositional dynamic logic for agents with interactions
• Interactions between knowledge, action and commitment within agent dynamic logic
• Dialogue logic as dynamic logic
• A logical analysis of commitment dynamics
• Deontic interpreted systems
• ALX, an action logic for agents with bounded rationality
• scientific article; zbMATH DE number 2087704 (Why is no real title available?)
• Tableaux for single-agent epistemic PDL with perfect recall and no miracles
• scientific article; zbMATH DE number 2196585 (Why is no real title available?)
• Mono-agent dynamics
• Multi-agent dynamic logics with informational test
• Dynamic logic of propositional commitments

Describes a project that uses

Uses Software

• KARO

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

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