Topological modal logics satisfying finite chain conditions
From MaRDI portal
Publication:5937828
DOI10.1305/ndjfl/1039182254zbMath0977.03014OpenAlexW2078455932MaRDI QIDQ5937828
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
classes of subset spacesfinite model propertysemantics of approximations for infinite objectstopological modal logictree-like spaces
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