On Composing Finite Forests with Modal Logics - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Computational Logic Année : 2023

On Composing Finite Forests with Modal Logics

Résumé

We study the expressivity and complexity of two modal logics interpreted on finite forests and equipped with standard modalities to reason on submodels.
Fichier principal
Vignette du fichier
submitted-paper.pdf (1.05 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04056877 , version 1 (03-11-2023)

Identifiants

Citer

Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti. On Composing Finite Forests with Modal Logics. ACM Transactions on Computational Logic, 2023, 24 (2), pp.1-46. ⟨10.1145/3569954⟩. ⟨hal-04056877⟩
50 Consultations
10 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More