Automated Reasoning About Metric and Topology

DOI10.1007/11853886_44MaRDI QIDQ3533154zbMATH OpenOpenAlexFDO

Authors Ullrich Hustadt, Dmitry Tishkovsky, F. Wolter, Michael Zakharyaschev

Publication date 30 October 2008

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11853886_44

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• A logic for metric and topology
• scientific article; zbMATH DE number 5295723
• A modal logic framework for reasoning about comparative distances and topology
• Dynamic topological logic of metric spaces
• On dynamic topological and metric logics

Cited in

(6)

• Automated reasoning about elementary point-set topology
• CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity
• \textsc{MetTeL}: a tableau prover with logic-independent inference engine
• Using tableau to decide description logics with full role negation and identity
• A logic for metric and topology
• scientific article; zbMATH DE number 4160159 (Why is no real title available?)

Describes a project that uses

Uses Software

• VAMPIRE
• SPASS
• DCTP
• E Theorem Prover

This page was built for publication: Automated Reasoning About Metric and Topology

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