Publication:3367284
From MaRDI portal
zbMath1087.03011MaRDI QIDQ3367284
J. F. A. K. van Benthem, Darko Sarenac
Publication date: 24 January 2006
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
Related Items
Multimodal logics of products of topologies, Modal languages for topology: expressivity and definability, Modelling simultaneous games in dynamic logic, Common knowledge and limit knowledge, A Grim semantics for logics of belief