Logics for multi-subset spaces

DOI10.3166/JANCL.20.219-240zbMATH Open1242.03039OpenAlexW2144444206MaRDI QIDQ2901196FDOQ2901196

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

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

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)

Cites Work

• Title not available (Why is that?)
• The algebra of topology
• Handbook of Spatial Logics
• Reasoning About Space: The Modal Way
• Topological reasoning and the logic of knowledge
• Modal logic as dialogical logic
• Completeness of certain bimodal logics for subset spaces

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
• Updating knowledge using subsets
• Temporal aspects of the modal logic of subset spaces
• 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)