Multi-agent logics of dynamic belief and knowledge

DOI10.1007/3-540-45757-7_4MaRDI QIDQ4708905zbMATH OpenFDO

Authors Renate A. Schmidt, Dmitry Tishkovsky

Publication date 20 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2424/24240038.htm

Mathematics Subject Classification ID

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

Recommendations

• Multi-agent dynamic logics with informational test
• Interactions between knowledge, action and commitment within agent dynamic logic
• Modal logic for modelling actions and agents
• Propositional Dynamic Logic as a Logic of Belief Revision
• Dynamic epistemic logics

Cited in

(15)

• Interactions between knowledge, action and commitment within agent dynamic logic
• A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory
• Reasoning agents in dynamic domains
• Dynamic logic for reasoning about actions and agents
• PDT logic: a probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems
• Logics of informational attitudes and informative actions
• Intuitionistic multi-agent subatomic natural deduction for belief and knowledge
• scientific article; zbMATH DE number 5669819 (Why is no real title available?)
• Multiple agent possibilistic logic
• Modal logic for modelling actions and agents
• scientific article; zbMATH DE number 2087691 (Why is no real title available?)
• Multiagent reasoning with probability, time, and beliefs
• scientific article; zbMATH DE number 1453144 (Why is no real title available?)
• Reasoning with Multiple-Agent Possibilistic Logic
• Multi-agent dynamic logics with informational test

Describes a project that uses

Uses Software

• LUPS

This page was built for publication: Multi-agent logics of dynamic belief and knowledge

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