scientific article; zbMATH DE number 6863653

zbMath1400.03042MaRDI QIDQ4636043

Robert Goldblatt, I. M. Hodkinson

Publication date: 23 April 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logiczero-dimensionalfinite model propertystrong completenessderivative operatordense-in-itself metric space

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Dimension theory in general topology (54F45)

Related Items (3)

STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES ⋮ The finite model property for logics with the tangle modality ⋮ Spatial logic of tangled closure operators and modal mu-calculus

This page was built for publication: