The Cantor space as a generic model of topologically presented knowledge

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

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

• Title not available (Why is that?) 👍 👎
• 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 👍 👎

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)