Augmenting subset spaces to cope with multi-agent knowledge

DOI10.1007/978-3-319-27683-0_10MaRDI QIDQ5283423zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

completenessdecidabilityknowledge-enabling functionsreasoning about knowledge of agentssubset space semantics

Mathematics Subject Classification ID

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

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

Cites work

• Handbook of Spatial Logics
• scientific article; zbMATH DE number 1215464 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• Logics for multi-subset spaces
• Modal logic
• Subset space logic with arbitrary announcements
• Subset space public announcement logic
• Topological reasoning and the logic of knowledge

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)