Implicit, explicit and speculative knowledge

DOI10.1016/j.artint.2017.11.004zbMath1444.03035MaRDI QIDQ1748464

Xianqiang Yang

Publication date: 11 May 2018

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2017.11.004

zbMATH Keywords

modal logic; bisimulation; expressivity; multi-agent systems; awareness

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)