Multi-agent dynamic logics with informational test
From MaRDI portal
Publication:702100
DOI10.1023/B:AMAI.0000034521.22009.8dzbMath1059.68131MaRDI QIDQ702100
Renate A. Schmidt, Dmitry Tishkovsky
Publication date: 17 January 2005
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
03B70: Logic in computer science
Related Items
Where logic and agents meet, On combinations of propositional dynamic logic and doxastic modal logics, Inference Rules in Multi-agents’ Temporal Logics, Decidability: theorems and admissible rules