Logic for physical space. From antiquity to present day

DOI10.1007/s11229-011-9913-9zbMath1275.03068OpenAlexW1549060642MaRDI QIDQ382998

Isabelle Bloch, Guram Bezhanishvili, Marco Aiello, Valentin F. Goranko

Publication date: 25 November 2013

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-011-9913-9

zbMATH Keywords

geometrymodal logictopologymathematical morphology

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Logic in the philosophy of science (03A10)

Related Items (1)

Morpho-logic from a topos perspective -- application to symbolic AI

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Lattices of fuzzy sets and bipolar fuzzy sets, and mathematical morphology
• An introduction to Wu's method for mechanical theorem proving in geometry
• Modal logics of domains on the real plane
• The modal logic of \({\beta(\mathbb{N})}\)
• Modal languages for topology: expressivity and definability
• Diodorean modality in Minkowski spacetime
• An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics
• The simplest axiom system for plane hyperbolic geometry
• On fork arrow logic and its expressive power
• Spatial reasoning under imprecision using fuzzy set theory, formal logics and mathematical morphology
• The algebra of topology
• Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry
• Modal logics for incidence geometries
• The algebraic basis of mathematical morphology
• New results on quantifier elimination over real closed fields and applications to constraint databases
• Handbook of Spatial Logics
• Dilation and Erosion of Spatial Bipolar Fuzzy Sets
• A ModalWalk Through Space
• Modal Logics for Parallelism, Orthogonality, and Affine Geometries
• Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning
• The Modal Multilogic of Geometry
• Tarski's System of Geometry
• The algebraic basis of mathematical morphology I. Dilations and erosions
• On the combinatorial and algebraic complexity of quantifier elimination
• « Everywhere » and « here »
• Model Theory: Geometrical and Set-Theoretic Aspects and Prospects
• Reasoning About Space: The Modal Way
• Emil Post and His Anticipation of Gödel and Turing
• Points, lines and diamonds: a two-sorted modal logic for projective planes
• Tarski's influence on computer science
• Modal Logics of Regions and Minkowski Spacetime
• The Four Pillars of Geometry
• Der Aussagenkalkül und die Topologie

This page was built for publication: Logic for physical space. From antiquity to present day