The expressive power of first-order topological languages

DOI10.1093/LOGCOM/EXT002zbMATH Open1345.03024OpenAlexW2128208399MaRDI QIDQ2863172FDOQ2863172

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

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

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)

Cited In (8)

• On first-order topological queries
• Expressivity in polygonal, plane mereotopology
• Title not available (Why is that?)
• 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)