Augmenting Subset Spaces to Cope with Multi-agent Knowledge

DOI10.1007/978-3-319-27683-0_10zbMath1474.68336OpenAlexW2293652402MaRDI QIDQ5283423

Bernhard Heinemann

Publication date: 21 July 2017

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-27683-0_10

zbMATH Keywords

completenessdecidabilitysubset space semanticsknowledge-enabling functionsreasoning about knowledge of agents

Mathematics Subject Classification ID

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

Related Items (1)

Reusing topological nexttime logic

Cites Work

• Topological reasoning and the logic of knowledge
• Logics for multi-subset spaces
• Subset Space Logic with Arbitrary Announcements
• Subset Space Public Announcement Logic
• Handbook of Spatial Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Augmenting Subset Spaces to Cope with Multi-agent Knowledge