Generalizing AGM to a multi-agent setting
From MaRDI portal
Publication:3580815
DOI10.1093/jigpal/jzp037zbMath1203.03022MaRDI QIDQ3580815
Publication date: 13 August 2010
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzp037
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
Related Items
METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS, AGM 25 years. Twenty-five years of research in belief change, An internal version of epistemic logic, A general multi-agent epistemic planner based on higher-order belief change, Minimal Revision and Classical Kripke Models, Private Expansion and Revision in Multi-agent Settings