The Cantor Space as a Generic Model of Topologically Presented Knowledge

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

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

modal logicbisimulationsCantor spacereasoning about knowledgetopological reasoningsubset spaces

Mathematics Subject Classification ID

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

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)