Topological modal logics satisfying finite chain conditions

DOI10.1305/ndjfl/1039182254zbMath0977.03014OpenAlexW2078455932MaRDI QIDQ5937828

Bernhard Heinemann

Publication date: 17 July 2001

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039182254

zbMATH Keywords

classes of subset spacesfinite model propertysemantics of approximations for infinite objectstopological modal logictree-like spaces

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Cites Work

• Knowledge on treelike spaces
• Topological reasoning and the logic of knowledge
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item