scientific article; zbMATH DE number 5872417

zbMATH Open1244.03098MaRDI QIDQ3085174FDOQ3085174

Timofei Shatrov

Publication date: 30 March 2011

Title of this publication is not available (Why is that?)

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
• Quantified intuitionistic logic over metrizable spaces

zbMATH Keywords

intermediate logicaxiomatizationindistinguishabilityMedvedev's logic

Mathematics Subject Classification ID

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

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)