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

epistemic logicmulti-agent systemsmultiple knowledge acquisition methodssubset spacestopological reasoning

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

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

Cited in

(14)

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

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)