Logics for multi-subset spaces

DOI10.3166/JANCL.20.219-240MaRDI QIDQ2901196zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Multi-sorted logic, models, and logical geometry.
• scientific article; zbMATH DE number 6863649
• The linear logic of multisets
• scientific article; zbMATH DE number 7297101
• A Two-Dimensional Hybrid Logic of Subset Spaces
• Many-valued logics and their algebras
• scientific article; zbMATH DE number 1269582
• Many-valued logics
• scientific article; zbMATH DE number 1749199
• Many-valued logics

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• Completeness of certain bimodal logics for subset spaces
• Handbook of Spatial Logics
• Modal logic as dialogical logic
• Reasoning About Space: The Modal Way
• The algebra of topology
• Topological reasoning and the logic of knowledge

Cited in

(13)

• A hybrid logic for reasoning about knowledge and topology
• The Hybrid Logic of Linear Set Spaces
• Augmenting subset spaces to cope with multi-agent knowledge
• Reusing topological nexttime logic
• Announcement as effort on topological spaces
• Private announcements on topological spaces
• Announcement as effort on topological spaces
• A note on logics of ignorance and borders
• Logic and topology for knowledge, knowability, and belief
• Logic and topology for knowledge, knowability, and belief. Extended abstract
• Temporal aspects of the modal logic of subset spaces
• Updating knowledge using subsets
• Regarding overlaps in `topologic'

This page was built for publication: Logics for multi-subset spaces

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