Logic for physical space. From antiquity to present day

DOI10.1007/S11229-011-9913-9zbMATH Open1275.03068OpenAlexW1549060642MaRDI QIDQ382998FDOQ382998

Authors: Marco Aiello, Guram Bezhanishvili, I. Bloch, Valentin 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

Recommendations

• A modal walk through space
• Geometrical structures and modal logic
• Handbook of Spatial Logics
• Some observations about spatial logic
• scientific article; zbMATH DE number 1552571

zbMATH Keywords

geometrytopologymodal logicmathematical morphology

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The algebraic basis of mathematical morphology I. Dilations and erosions
• Automated reasoning in geometry
• Title not available (Why is that?)
• Title not available (Why is that?)
• The algebra of topology
• Handbook of Spatial Logics
• A modal walk through space
• Modal logics based on mathematical morphology for qualitative spatial reasoning
• Reasoning About Space: The Modal Way
• Der Aussagenkalkül und die Topologie
• Diodorean modality in Minkowski spacetime
• On the combinatorial and algebraic complexity of quantifier elimination
• Title not available (Why is that?)
• Lattices of fuzzy sets and bipolar fuzzy sets, and mathematical morphology
• Modal Logics of Regions and Minkowski Spacetime
• Modal logics of domains on the real plane
• The algebraic basis of mathematical morphology
• The modal logic of \({\beta(\mathbb{N})}\)
• Modal languages for topology: expressivity and definability
• 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
• Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry
• Fragments of Euclidean and hyperbolic geometry
• Modal logics for incidence geometries
• New results on quantifier elimination over real closed fields and applications to constraint databases
• Title not available (Why is that?)
• Dilation and Erosion of Spatial Bipolar Fuzzy Sets
• Modal Logics for Parallelism, Orthogonality, and Affine Geometries
• The Modal Multilogic of Geometry
• Tarski's System of Geometry
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• « Everywhere » and « here »
• Model Theory: Geometrical and Set-Theoretic Aspects and Prospects
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Four Pillars of Geometry
• Title not available (Why is that?)
• Title not available (Why is that?)
• An introduction to Wu's method for mechanical theorem proving in geometry

Cited In (2)

• A logical account of pspace
• Morpho-logic from a topos perspective -- application to symbolic AI

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)