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
Stit semantics for epistemic notions based on information disclosure in interactive settings, 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 topological approach to full belief, A Grim semantics for logics of belief