A modal walk through space

DOI10.3166/JANCL.12.319-363MaRDI QIDQ3647299zbMATH OpenOpenAlexFDO

Authors Marco Aiello, Johan van Benthem

Publication date 30 November 2009

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/jancl.12.319-363

zbMATH Keywords

affine geometryarrow logicsconditional logicelementary geometrylinear logicmathematical morphologymodal logicsspatial reasoningtopology

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other applications of logic (03B80) Affine analytic geometry (51N10) Generalities in topology (54A99) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• Geometrical structures and modal logic
• The Modal Multilogic of Geometry
• Reasoning About Space: The Modal Way
• Modal logics for metric spaces: open problems
• Modal logic for 3D incidence geometry

Cites work

• A calculus of individuals based on 'connection'
• A spatial similarity measure based on games: theory and practice
• Bisimulations for temporal logic
• Euclidean hierarchy in modal logic
• scientific article; zbMATH DE number 3902440 (Why is no real title available?)
• scientific article; zbMATH DE number 3176521 (Why is no real title available?)
• scientific article; zbMATH DE number 1237648 (Why is no real title available?)
• scientific article; zbMATH DE number 1047502 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 914826 (Why is no real title available?)
• Language in action. Categories, lambdas and dynamic logic
• Linear logic
• Maintaining knowledge about temporal intervals
• Modal logics for incidence geometries
• Modal logics with linear alternative relations
• Points, lines and diamonds: a two-sorted modal logic for projective planes
• Reasoning About Space: The Modal Way
• Semantics based on conceptual spaces
• Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
• The algebra of topology
• The axioms of constructive geometry
• The complexity of elementary algebra and geometry
• The Modal Multilogic of Geometry
• Topological reasoning and the logic of knowledge
• Using the Universal Modality: Gains and Questions
• « Everywhere » and « here »

Cited in

(15)

• A new modal logic for reasoning about space: spatial propositional neighborhood logic
• Spatial reasoning under imprecision using fuzzy set theory, formal logics and mathematical morphology
• A bi-intuitionistic modal logic: foundations and automation
• Modal logics for metric spaces: open problems
• Logical patterns in space. Models, simulations, and games
• Modal Logics for Parallelism, Orthogonality, and Affine Geometries
• Logic for physical space. From antiquity to present day
• Some topological properties of paraconsistent models
• Analysing Spatial Properties on Neighbourhood Spaces
• Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
• CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
• Modal logic of generalized separated topological spaces
• Some results on modal axiomatization and definability for topological spaces
• Subject-oriented spatial logic
• Multimodal logics of products of topologies

This page was built for publication: A modal walk through space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3647299)