Formalizing Concurrent Common Knowledge as Product of Modal Logics
From MaRDI portal
Publication:3378197
DOI10.1093/jigpal/jzi049zbMath1109.03011MaRDI QIDQ3378197
Mario R. F. Benevides, Vania Costa
Publication date: 30 March 2006
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/c911b3f0c52c189253d814250ed7c507c13d32a2
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
68T30: Knowledge representation