Logic for physical space. From antiquity to present day
From MaRDI portal
(Redirected from Publication:382998)
Recommendations
Cites work
- scientific article; zbMATH DE number 4146970 (Why is no real title available?)
- scientific article; zbMATH DE number 3899653 (Why is no real title available?)
- scientific article; zbMATH DE number 3902440 (Why is no real title available?)
- scientific article; zbMATH DE number 53151 (Why is no real title available?)
- scientific article; zbMATH DE number 3502485 (Why is no real title available?)
- scientific article; zbMATH DE number 1735982 (Why is no real title available?)
- scientific article; zbMATH DE number 1047502 (Why is no real title available?)
- scientific article; zbMATH DE number 1157648 (Why is no real title available?)
- scientific article; zbMATH DE number 3435453 (Why is no real title available?)
- scientific article; zbMATH DE number 1461211 (Why is no real title available?)
- scientific article; zbMATH DE number 1508645 (Why is no real title available?)
- scientific article; zbMATH DE number 1844512 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 2196602 (Why is no real title available?)
- scientific article; zbMATH DE number 3262216 (Why is no real title available?)
- scientific article; zbMATH DE number 3289061 (Why is no real title available?)
- scientific article; zbMATH DE number 3359295 (Why is no real title available?)
- scientific article; zbMATH DE number 3060222 (Why is no real title available?)
- scientific article; zbMATH DE number 3085512 (Why is no real title available?)
- A modal walk through space
- An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics
- An introduction to Wu's method for mechanical theorem proving in geometry
- Automated reasoning in geometry
- Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry
- Der Aussagenkalkül und die Topologie
- Dilation and Erosion of Spatial Bipolar Fuzzy Sets
- Diodorean modality in Minkowski spacetime
- Emil Post and His Anticipation of Gödel and Turing
- Fragments of Euclidean and hyperbolic geometry
- Handbook of Spatial Logics
- Lattices of fuzzy sets and bipolar fuzzy sets, and mathematical morphology
- Modal Logics for Parallelism, Orthogonality, and Affine Geometries
- Modal Logics of Regions and Minkowski Spacetime
- Modal languages for topology: expressivity and definability
- Modal logic
- Modal logics based on mathematical morphology for qualitative spatial reasoning
- Modal logics for incidence geometries
- Modal logics of domains on the real plane
- Model Theory: Geometrical and Set-Theoretic Aspects and Prospects
- New results on quantifier elimination over real closed fields and applications to constraint databases
- On fork arrow logic and its expressive power
- On the combinatorial and algebraic complexity of quantifier elimination
- Points, lines and diamonds: a two-sorted modal logic for projective planes
- Reasoning About Space: The Modal Way
- Spatial reasoning under imprecision using fuzzy set theory, formal logics and mathematical morphology
- Tarski's System of Geometry
- Tarski's influence on computer science
- The Four Pillars of Geometry
- The Modal Multilogic of Geometry
- The algebra of topology
- The algebraic basis of mathematical morphology
- The algebraic basis of mathematical morphology I. Dilations and erosions
- The modal logic of \({\beta(\mathbb{N})}\)
- The simplest axiom system for plane hyperbolic geometry
- « Everywhere » and « here »
Cited in
(2)
This page was built for publication: Logic for physical space. From antiquity to present day
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q382998)
