Augmenting subset spaces to cope with multi-agent knowledge

DOI10.1007/978-3-319-27683-0_10zbMATH Open1474.68336OpenAlexW2293652402MaRDI QIDQ5283423FDOQ5283423

Authors: 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

Recommendations

• Reusing topological nexttime logic
• Logics for multi-subset spaces
• Temporal aspects of the modal logic of subset spaces
• Using hybrid logic for coping with functions in subset spaces
• A hybrid logic for reasoning about knowledge and topology

zbMATH Keywords

completenessdecidabilitysubset space semanticsknowledge-enabling functionsreasoning about knowledge of agents

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Title not available (Why is that?)
• Handbook of Spatial Logics
• Title not available (Why is that?)
• Topological reasoning and the logic of knowledge
• Title not available (Why is that?)
• Logics for multi-subset spaces
• Subset space logic with arbitrary announcements
• Subset space public announcement logic

Cited In (2)

• Reusing topological nexttime logic
• Updating knowledge using subsets

This page was built for publication: Augmenting subset spaces to cope with multi-agent knowledge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5283423)