scientific article; zbMATH DE number 5872417

MaRDI QIDQ3085174zbMATH OpenFDO

Authors Timofei Shatrov

Publication date 30 March 2011

zbMATH Keywords

intermediate logicaxiomatizationindistinguishabilityMedvedev's logic

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Intermediate logics (03B55)

Recommendations

• Modal logics for metric spaces: open problems
• On the logic of generalised metric spaces
• Notes on logics of metric spaces
• Logics of metric spaces
• Modal logics of metric spaces
• scientific article; zbMATH DE number 1829626
• scientific article; zbMATH DE number 1796614
• A logic for metric and topology
• scientific article; zbMATH DE number 5295723
• Quantified intuitionistic logic over metrizable spaces

Cited in

(1)

• A logical metric structure on \([0,1]\).

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 Q3085174)