The Cantor space as a generic model of topologically presented knowledge

DOI10.1007/978-3-642-13182-0_16MaRDI QIDQ3569741zbMATH OpenOpenAlexFDO

Authors Bernhard Heinemann

Publication date 22 June 2010

Published in Computer Science – Theory and Applications (Search for Journal in Brave)

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

zbMATH Keywords

Cantor spacebisimulationsmodal logicreasoning about knowledgetopological reasoningsubset spaces

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1303430
• The modal logic of continuous functions on Cantor space
• A proof of topological completeness for S4 in \((0,1)\)
• Topology on the set of maximal consistent propositional theories and the Cantor ternary set
• Topological reasoning and the logic of knowledge

Cited in

(1)

• Characterizing certain topological specifications

This page was built for publication: The Cantor space as a generic model of topologically presented knowledge

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