The expressive power of first-order topological languages

DOI10.1093/LOGCOM/EXT002MaRDI QIDQ2863172zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• The Expressivity of Quantifying over Regions
• Elementarily equivalent structures for topological languages over regions in Euclidean space
• Expressivity in polygonal, plane mereotopology
• On first-order topological queries
• Modal languages for topology: expressivity and definability

Cited in

(8)

• On first-order topological queries
• Expressivity in polygonal, plane mereotopology
• scientific article; zbMATH DE number 3911732 (Why is no real title available?)
• A characterization of first-order topological properties of planar spatial data
• Elementarily equivalent structures for topological languages over regions in Euclidean space
• On the strength of some topological lattices
• Language of topologically valid bounding manifolds
• A topological constraint language with component counting

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2863172)