Automated Reasoning About Metric and Topology

DOI10.1007/11853886_44zbMATH Open1152.68523OpenAlexW1489969750MaRDI QIDQ3533154FDOQ3533154

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

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (6)

• Title not available (Why is that?)
• A logic for metric and topology
• Using tableau to decide description logics with full role negation and identity
• Automated reasoning about elementary point-set topology
• \textsc{MetTeL}: a tableau prover with logic-independent inference engine
• CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity

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)