Fixed Point Logics on Hemimetric Spaces - IRIT - Institut de Recherche en Informatique de Toulouse Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Fixed Point Logics on Hemimetric Spaces

Résumé

The µ-calculus can be interpreted over metric spaces and is known to enjoy, among other celebrated properties, variants of the McKinsey-Tarski completeness theorem and of Dawar and Otto's modal characterization theorem. In its topological form, this theorem states that every topological fixed point may be defined in terms of the tangled derivative, a polyadic generalization of Cantor's perfect core. However, these results fail when spaces not satisfying basic separation axioms are considered, in which case the base modal logic is not the well-known K4, but the weaker wK4. In this paper we show how these shortcomings may be overcome. First, we consider semantics over the wider class of hemimetric spaces, and obtain metric completeness results for wK4 and related logics. In this setting, the Dawar-Otto theorem still fails, but we argue that this is due to the tangled derivative not being suitably defined for general application in arbitrary topological spaces. We thus introduce the hybrid tangle, which coincides with the tangled derivative over metric spaces but is better behaved in general. We show that only the hybrid tangle suffices to define simulability of finite structures, a key 'test case' for an expressively complete fragment of the µ-calculus.
Fichier principal
Vignette du fichier
Hemimetric-long.pdf (419.65 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
licence : CC BY NC - Paternité - Pas d'utilisation commerciale

Dates et versions

hal-04076518 , version 1 (20-04-2023)

Licence

Paternité - Pas d'utilisation commerciale

Identifiants

  • HAL Id : hal-04076518 , version 1

Citer

David Fernández-Duque, Quentin Gougeon. Fixed Point Logics on Hemimetric Spaces. 38th Annual Symposium on Logic in Computer Science (LICS 2023), ACM; IEEE, Jun 2023, Boston, United States. à paraître. ⟨hal-04076518⟩
102 Consultations
53 Téléchargements

Partager

Gmail Facebook X LinkedIn More