Logics for multi-subset spaces
From MaRDI portal
Publication:2901196
DOI10.3166/jancl.20.219-240zbMath1242.03039MaRDI QIDQ2901196
Publication date: 17 July 2012
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3166/jancl.20.219-240
multi-agent systems; epistemic logic; topological reasoning; subset spaces; multiple knowledge acquisition methods
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
68T42: Agent technology and artificial intelligence
Related Items
Unnamed Item, Augmenting Subset Spaces to Cope with Multi-agent Knowledge, Private announcements on topological spaces, Reusing topological nexttime logic, Announcement as effort on topological spaces, Unnamed Item, LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF
Cites Work