Logic for physical space. From antiquity to present day
From MaRDI portal
Publication:382998
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
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)
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
