A van Benthem Theorem for Fuzzy Modal Logic

## Authors: Paul Wild, Lutz Schröder, Dirk Pattinson and Barbara König

## Paper Information

Title: | A van Benthem Theorem for Fuzzy Modal Logic |

Authors: | Paul Wild, Lutz Schröder, Dirk Pattinson and Barbara König |

Proceedings: | LICS PDF files |

Editors: | Anuj Dawar and Erich Grädel |

Keywords: | Modal logic, Correspondence theory, Fuzzy logic, Description logic, Behavioural metrics |

Abstract: | ABSTRACT. We present a fuzzy (or quantitative) version of the van Benthem theorem, which characterizes propositional modal logic as the bisimulation-invariant fragment of first-order logic. Specifically, we consider a first-order fuzzy predicate logic logic along with its modal fragment, and show that the first-order formulas that are non-expansive w.r.t. the natural notion of bisimulation distance are exactly those that can be approximated by modal formulas. |

Pages: | 10 |

Talk: | Jul 10 14:00 (Session 55D) |

Paper: |