The expressive power of first-order topological languages

DOI10.1093/LOGCOM/EXT002zbMath1345.03024OpenAlexW2128208399MaRDI QIDQ2863172

Ernest Davis

Publication date: 21 November 2013

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/ext002

zbMATH Keywords

expressivityqualitative spatial reasoningfirst-order languagetopological language

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (1)

On the strength of some topological lattices

This page was built for publication: The expressive power of first-order topological languages