Observational Effort and Formally Open Mappings

DOI10.1007/978-3-642-02261-6_16MaRDI QIDQ3638284zbMATH OpenOpenAlexFDO

Authors Bernhard Heinemann

Publication date 2 July 2009

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02261-6_16

zbMATH Keywords

epistemic logichybrid logicopen mappingssubset spacestopology

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• scientific article; zbMATH DE number 1434641
• scientific article; zbMATH DE number 3930934
• Observational modeling of topological spaces
• Observing expansive maps
• Observational implementations
• scientific article; zbMATH DE number 1189284
• Observational structures and their logic
• scientific article; zbMATH DE number 1543355
• Open openly covering maps

Cites work

• A hybrid logic for reasoning about knowledge and topology
• A Two-Dimensional Hybrid Logic of Subset Spaces
• Dynamic epistemic logic
• Handbook of modal logic
• Handbook of Spatial Logics
• scientific article; zbMATH DE number 1215464 (Why is no real title available?)
• Modal logic
• The algebra of topology
• Topological reasoning and the logic of knowledge

This page was built for publication: Observational Effort and Formally Open Mappings

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