Topology and measure in logics for region-based theories of space

DOI10.1016/j.apal.2017.12.002zbMath1454.03028OpenAlexW2782001524MaRDI QIDQ1694810

Tamar Lando

Publication date: 6 February 2018

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2017.12.002

zbMATH Keywords

modal logiccompletenesstopological semanticscontact algebrasLebesgue measure algebraregion-based theories of space

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Topological spaces and generalizations (closure spaces, etc.) (54A05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Cites Work

• Completeness of S4 with respect to the real line: revisited
• Multimodal logics of products of topologies
• Diodorean modality in Minkowski spacetime
• Region-based topology
• Region-based theory of discrete spaces: A proximity approach
• A representation theorem for Boolean contact algebras
• The algebra of topology
• Gunk, Topology and Measure
• « Everywhere » and « here »
• Reasoning About Space: The Modal Way
• STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Topology and measure in logics for region-based theories of space