Multi-agent dynamic logics with informational test

DOI10.1023/B:AMAI.0000034521.22009.8DMaRDI QIDQ702100zbMATH OpenOpenAlexFDO

Authors Renate A. Schmidt, Dmitry Tishkovsky

Publication date 17 January 2005

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/b:amai.0000034521.22009.8d

zbMATH Keywords

multi-agent systemscommon knowledgedynamic logiccommon belieftest operator

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) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1931647
• Interactions between knowledge, action and commitment within agent dynamic logic
• Modal logic for modelling actions and agents
• Logics of informational attitudes and informative actions
• scientific article; zbMATH DE number 1537935

Cited in

(7)

• Decidability: theorems and admissible rules
• Logics of informational attitudes and informative actions
• scientific article; zbMATH DE number 1931647 (Why is no real title available?)
• Interactions between knowledge, action and commitment within agent dynamic logic
• Inference rules in multi-agents' temporal logics
• On combinations of propositional dynamic logic and doxastic modal logics
• Where logic and agents meet

This page was built for publication: Multi-agent dynamic logics with informational test

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