Logic for physical space. From antiquity to present day (Q382998): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11229-011-9913-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1549060642
@@ Property / OpenAlex ID: W1549060642 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Spatial Logics
@@ Property / cites work: Handbook of Spatial Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A ModalWalk Through Space
@@ Property / cites work: A ModalWalk Through Space / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Space: The Modal Way
@@ Property / cites work: Reasoning About Space: The Modal Way / rank @@
+Normal rank
@@ Property / cites work @@
+The Modal Multilogic of Geometry
@@ Property / cites work: The Modal Multilogic of Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics for incidence geometries
@@ Property / cites work: Modal logics for incidence geometries / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logics for Parallelism, Orthogonality, and Affine Geometries
+Normal rank
@@ Property / cites work @@
+New results on quantifier elimination over real closed fields and applications to constraint databases
+Normal rank
@@ Property / cites work @@
+On the combinatorial and algebraic complexity of quantifier elimination
+Normal rank
@@ Property / cites work @@
+The modal logic of \({\beta(\mathbb{N})}\)
@@ Property / cites work: The modal logic of \({\beta(\mathbb{N})}\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning
+Normal rank
@@ Property / cites work @@
+Spatial reasoning under imprecision using fuzzy set theory, formal logics and mathematical morphology
+Normal rank
@@ Property / cites work @@
+Dilation and Erosion of Spatial Bipolar Fuzzy Sets
+Normal rank
@@ Property / cites work @@
+Lattices of fuzzy sets and bipolar fuzzy sets, and mathematical morphology
+Normal rank
@@ Property / cites work @@
+Q4329351
@@ Property / cites work: Q4329351 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4784881
@@ Property / cites work: Q4784881 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to Wu's method for mechanical theorem proving in geometry
+Normal rank
@@ Property / cites work @@
+Q2751363
@@ Property / cites work: Q2751363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391213
@@ Property / cites work: Q4391213 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573028
@@ Property / cites work: Q5573028 / rank @@
+Normal rank
@@ Property / cites work @@
+On fork arrow logic and its expressive power
@@ Property / cites work: On fork arrow logic and its expressive power / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633198
@@ Property / cites work: Q5633198 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Tarski's influence on computer science
@@ Property / cites work: Tarski's influence on computer science / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics
+Normal rank
@@ Property / cites work @@
+Diodorean modality in Minkowski spacetime
@@ Property / cites work: Diodorean modality in Minkowski spacetime / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485800
@@ Property / cites work: Q4485800 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506359
@@ Property / cites work: Q4506359 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebraic basis of mathematical morphology I. Dilations and erosions
+Normal rank
@@ Property / cites work @@
+Q5799431
@@ Property / cites work: Q5799431 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4401917
@@ Property / cites work: Q4401917 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theory: Geometrical and Set-Theoretic Aspects and Prospects
+Normal rank
@@ Property / cites work @@
+Q4084463
@@ Property / cites work: Q4084463 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q5822381
@@ Property / cites work: Q5822381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3477582
@@ Property / cites work: Q3477582 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry
+Normal rank
@@ Property / cites work @@
+Q2731727
@@ Property / cites work: Q2731727 / rank @@
+Normal rank
@@ Property / cites work @@
+The simplest axiom system for plane hyperbolic geometry
+Normal rank
@@ Property / cites work @@
+The algebraic basis of mathematical morphology
@@ Property / cites work: The algebraic basis of mathematical morphology / rank @@
+Normal rank
@@ Property / cites work @@
+Q3678266
@@ Property / cites work: Q3678266 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680652
@@ Property / cites work: Q3680652 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5311049
@@ Property / cites work: Q5311049 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logics of Regions and Minkowski Spacetime
@@ Property / cites work: Modal Logics of Regions and Minkowski Spacetime / rank @@
+Normal rank
@@ Property / cites work @@
+« Everywhere » and « here »
@@ Property / cites work: « Everywhere » and « here » / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics of domains on the real plane
@@ Property / cites work: Modal logics of domains on the real plane / rank @@
+Normal rank
@@ Property / cites work @@
+Q5548166
@@ Property / cites work: Q5548166 / rank @@
+Normal rank
@@ Property / cites work @@
+Emil Post and His Anticipation of Gödel and Turing
+Normal rank
@@ Property / cites work @@
+The Four Pillars of Geometry
@@ Property / cites work: The Four Pillars of Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Der Aussagenkalkül und die Topologie
@@ Property / cites work: Der Aussagenkalkül und die Topologie / rank @@
+Normal rank
@@ Property / cites work @@
+Tarski's System of Geometry
@@ Property / cites work: Tarski's System of Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages for topology: expressivity and definability
+Normal rank
@@ Property / cites work @@
+Q4349279
@@ Property / cites work: Q4349279 / rank @@
+Normal rank
@@ Property / cites work @@
+Points, lines and diamonds: a two-sorted modal logic for projective planes
+Normal rank