Topology and measure in logics for region-based theories of space
From MaRDI portal
Publication:1694810
DOI10.1016/j.apal.2017.12.002zbMath1454.03028OpenAlexW2782001524MaRDI QIDQ1694810
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
modal logiccompletenesstopological semanticscontact algebrasLebesgue measure algebraregion-based theories of space
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