Modal logics for metric spaces: open problems

MaRDI QIDQ3012529zbMATH OpenFDO

Authors F. Wolter, Agi Kurucz, Michael Zakharyaschev

Publication date 6 July 2011

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Metric spaces, metrizability (54E35)

Recommendations

• scientific article; zbMATH DE number 5295723
• Modal logics of metric spaces
• A modal walk through space
• Modal Logics of Regions and Minkowski Spacetime
• Notes on logics of metric spaces

Cited in

(7)

• Continuous Markovian logic -- from complete axiomatization to the metric space of formulas
• scientific article; zbMATH DE number 5872417 (Why is no real title available?)
• CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity
• scientific article; zbMATH DE number 5295723 (Why is no real title available?)
• scientific article; zbMATH DE number 5640557 (Why is no real title available?)
• A modal walk through space
• Logical metatheorems for abstract spaces axiomatized in positive bounded logic

This page was built for publication: Modal logics for metric spaces: open problems

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