Multi-agent dynamic logics with informational test

DOI10.1023/B:AMAI.0000034521.22009.8dzbMath1059.68131OpenAlexW2092653123MaRDI QIDQ702100

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

dynamic logicmulti-agent systemscommon knowledgecommon belieftest operator

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

Related Items (4)

Where logic and agents meet ⋮ Inference Rules in Multi-agents’ Temporal Logics ⋮ On combinations of propositional dynamic logic and doxastic modal logics ⋮ Decidability: theorems and admissible rules

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