Decidable and undecidable problems for first-order definability and modal definability - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Decidable and undecidable problems for first-order definability and modal definability

Résumé

The core of this paper is Chagrova's Theorems about first-order definability of given modal formulas and modal definability of given elementary conditions. We consider classes of frames for which modal definability is decidable and classes of frames for which first-order definability is trivial. We give a new proof of Chagrova's Theorem about modal definability and sketches of proofs of new variants of Chagrova's Theorem about modal definability.
Fichier principal
Vignette du fichier
Final_Version_of_TbiLLC_2019_paper_5.pdf (328.26 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03248067 , version 1 (03-06-2021)

Identifiants

Citer

Philippe Balbiani, Tinko Tinchev. Decidable and undecidable problems for first-order definability and modal definability. Thirteenth International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), 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. pp.214-236, ⟨10.1007/978-3-030-98479-3_11⟩. ⟨hal-03248067⟩
29 Consultations
67 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More