scientific article; zbMATH DE number 6863653

MaRDI QIDQ4636043zbMATH OpenFDO

Authors Robert Goldblatt, Ian Hodkinson

Publication date 23 April 2018

zbMATH Keywords

modal logiczero-dimensionalstrong completenessfinite model propertyderivative operatordense-in-itself metric space

Mathematics Subject Classification ID

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

Recommendations

• The various definitions of the derivative in linear topological spaces
• The d-logic of the real line
• The Structure of the Real Line
• Differentiation in abstract spaces
• On zero dimensional space and its retraction
• Non-real zeroes of real entire derivatives
• Interprétation géométrique de la différentiabilité et du gradient d'ordre réel
• scientific article; zbMATH DE number 2151142
• Zero-dimensional spaces from linear structures
• scientific article; zbMATH DE number 193292

Cited in

(4)

• Tangled closure algebras
• The finite model property for logics with the tangle modality
• Strong completeness of modal logics over 0-dimensional metric spaces
• Spatial logic of tangled closure operators and modal mu-calculus

This page was built for publication:

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