Line-based affine reasoning in Euclidean plane

DOI10.1016/j.jal.2006.03.003zbMath1122.68118OpenAlexW1558547586MaRDI QIDQ2372194

Tinko Tinchev, Philippe Balbiani

Publication date: 25 July 2007

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2006.03.003

zbMATH Keywords

Euclidean geometryspatial reasoningspatial logicsfirst-order theories of space

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Affine analytic geometry (51N10)

Related Items (3)

Reasoning about negligibility and proximity in the set of all hyperreals ⋮ Completeness of a functional system for surjective functions ⋮ Analyzing completeness of axiomatic functional systems for temporal × modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model theory.
• The polynomial-time hierarchy
• Determining consistency of topological relations
• On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
• Combining topological and size information for spatial reasoning
• Modal Logics for Parallelism, Orthogonality, and Affine Geometries
• Tractability Results in the Block Algebra

This page was built for publication: Line-based affine reasoning in Euclidean plane