×

zbMATH — the first resource for mathematics

Logics of metric spaces. (English) Zbl 1365.68407

MSC:
68T27 Logic in artificial intelligence
03B20 Subsystems of classical logic (including intuitionistic logic)
03B25 Decidability of theories and sets of sentences
03B45 Modal logic (including the logic of norms)
54E35 Metric spaces, metrizability
68T30 Knowledge representation
PDF BibTeX XML Cite
Full Text: DOI