Iterated structures are not modally definable - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Iterated structures are not modally definable

Résumé

Introduction : Iterated structures are bi-relational Kripke frames where each relation is a strict partial order and additionally second relation is the greatest fixed point of the first relation under monotone operator on the lattice of all partial orders included in the first relation. The study of these structures closely relates to the modal logic study of Cantor Bendixon rank. The details about this connection as well as important results around this study could be found in [2] In this work we touch the issue of modal definability of iterated strict partial orders. The modal logic of iterated strict partial orders is studied in [2] where we present the complete axiomatisation of the logic. The logic is axiomatised by the following modal formulas 2φ →22φ, 2?φ → 2?2?φ, 2φ → 2?φ, 2?φ → 22?φ, 2?φ → 2?2φ, 22?φ → 2?φ. Moreover we prove that the class of iterated structures is not first order definable and that the modality 2∗ interpreted on the second relation is not modally definable. In this paper we prove that the class of iterated structures is not modally definable either.
Fichier principal
Vignette du fichier
TBILLC19_3p.pdf (178.41 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02411269 , version 1 (14-12-2019)

Identifiants

  • HAL Id : hal-02411269 , version 1

Citer

Philippe Balbiani, Levan Uridia. Iterated structures are not modally definable. 13th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), Centre for Language, Logic and Speech at the Tbilisi State University; Georgian Academy of Sciences; Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam; Collaborative Research Center 991 of the University of Düsseldorf, Sep 2019, Batoumi, Georgia. ⟨hal-02411269⟩
26 Consultations
23 Téléchargements

Partager

Gmail Facebook X LinkedIn More