Observational Effort and Formally Open Mappings

DOI10.1007/978-3-642-02261-6_16zbMath1246.03037OpenAlexW1605744611MaRDI QIDQ3638284

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

topologyhybrid logicepistemic logicopen mappingssubset spaces

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic epistemic logic
• A hybrid logic for reasoning about knowledge and topology
• Topological reasoning and the logic of knowledge
• The algebra of topology
• Handbook of Spatial Logics
• A Two-Dimensional Hybrid Logic of Subset Spaces

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