Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable
نویسندگان
چکیده
منابع مشابه
The modal logic of affine planes is not finitely axiomatisable
We consider a modal language for affine planes, with two sorts of formulas (for points and lines) and three modal boxes. To evaluate formulas, we regard an affine plane as a Kripke frame with two sorts (points and lines) and three modal accessibility relations, namely the point-line and line-point incidence relations and the parallelism relation between lines. We show that the modal logic of af...
متن کاملBisimulation is Not Finitely (First Order) Equationally Axiomatisable
This paper considers the existence of nite equational axiomatisations of bisimulation over a calculus of nite state processes. To express even simple properties such as XE = XE[E=X] equationally it is necessary to use some notation for substitutions. Accordingly the calculus is embedded in a simply typed lambda calculus, allowing axioms such as the above to be written as equations of higher typ...
متن کاملThe equational theory of ⟨N, 0, 1,+,×, ↑⟩ is decidable, but not finitely axiomatisable
In 1969, Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. We know the answer to this question for various subsystems obtained by restricting in different ways the language of arithmetic expressions, yet, up to now we knew nothing of the original system that Tarski considered when he started all ...
متن کاملML is not finitely axiomatizable over Cheq
We show that the Medvedev logic ML is not finitely axiomatizable over the logic Cheq of chequered subsets of R∞. This gives a negative solution to one of the questions raised by Litak [2].
متن کاملSpatial Analysis in curved spaces with Non-Euclidean Geometry
The ultimate goal of spatial information, both as part of technology and as science, is to answer questions and issues related to space, place, and location. Therefore, geometry is widely used for description, storage, and analysis. Undoubtedly, one of the most essential features of spatial information is geometric features, and one of the most obvious types of analysis is the geometric type an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the AAAI Conference on Artificial Intelligence
سال: 2019
ISSN: 2374-3468,2159-5399
DOI: 10.1609/aaai.v33i01.33012776