Topology and measure in logics for region-based theories of space
type: Item
instance of: scholarly article
title: Topology and measure in logics for region-based theories of space
zbMATH Open document ID: 1454.03028
author: Tamar Lando
published in: Annals of Pure and Applied Logic
publication date: 2018-02-06T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 06E25
Mathematics Subject Classification ID: 54A05
zbMATH DE Number: 6835069
zbMATH Keywords: region-based theories of space
zbMATH Keywords: contact algebras
zbMATH Keywords: modal logic
zbMATH Keywords: topological semantics
zbMATH Keywords: completeness
zbMATH Keywords: Lebesgue measure algebra
MaRDI profile type: Publication
full work available at URL: j.apal.2017.12.002
OpenAlex ID: W2782001524
cites work: Reasoning About Space: The Modal Way
cites work: Gunk, Topology and Measure
cites work: Q5445158
cites work: Completeness of S4 with respect to the real line: revisited
cites work: Q3416080
cites work: Q3416081
cites work: Region-based theory of discrete spaces: A proximity approach
cites work: A representation theorem for Boolean contact algebras
cites work: Diodorean modality in Minkowski spacetime
cites work: STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE
cites work: The algebra of topology
cites work: Q4250039
cites work: Q5650663
cites work: Region-based topology
cites work: « Everywhere » and « here »
cites work: Q3447202
cites work: Multimodal logics of products of topologies
DOI: 10.1016/J.APAL.2017.12.002
description: scientific article; zbMATH DE number 6835069