Logics for multi-subset spaces

DOI10.3166/jancl.20.219-240zbMath1242.03039OpenAlexW2144444206MaRDI QIDQ2901196

Bernhard Heinemann

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

zbMATH Keywords

multi-agent systemsepistemic logictopological reasoningsubset spacesmultiple knowledge acquisition methods

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)

Related Items

Augmenting Subset Spaces to Cope with Multi-agent Knowledge ⋮ Private announcements on topological spaces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Reusing topological nexttime logic ⋮ Announcement as effort on topological spaces ⋮ LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF

Cites Work

• Unnamed Item
• Completeness of certain bimodal logics for subset spaces
• Topological reasoning and the logic of knowledge
• The algebra of topology
• Handbook of Spatial Logics
• Reasoning About Space: The Modal Way
• Modal logic as dialogical logic