The Cantor space as a generic model of topologically presented knowledge

DOI10.1007/978-3-642-13182-0_16zbMATH Open1284.03143OpenAlexW1521892282MaRDI QIDQ3569741FDOQ3569741

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

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

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)

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)