scientific article; zbMATH DE number 1931647

MaRDI QIDQ4708905zbMATH OpenFDO

Authors Renate A. Schmidt, Dmitry Tishkovsky

Publication date 20 June 2003

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

(14)

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

Describes a project that uses

Uses Software

• LUPS

This page was built for publication:

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