Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

25

BIRTHDAY
2005
Springer

favoriteEmaildiscussreport

115views Applied Computing» more BIRTHDAY 2005»

Modal Logics for Metric Spaces: Open Problems

14 years 4 months ago

Modal Logics for Metric Spaces: Open Problems

Download www.dcs.bbk.ac.uk

Agi Kurucz, Frank Wolter, Michael Zakharyaschev

Real-time Traffic

Applied Computing | BIRTHDAY 2005 |

claim paper

Related Content

» From topology to metric modal logic and quantification in metric spaces

» On the intermediate logic of open subsets of metric spaces

» Modal logics for mereotopological relations

» Robust Controller Synthesis for Hybrid Systems Using Modal Logic

» Axiomatizing Distance Logics

» Dynamic topological logics over spaces with continuous functions

» Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities

» A modal logic framework for reasoning about comparative distances and topology

» Modal Logic Applied to Query Answering and the Case for Variable Modalities

Post Info
More Details (n/a)

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	BIRTHDAY
Authors	Agi Kurucz, Frank Wolter, Michael Zakharyaschev

Comments (0)