On Composing Finite Forests with Modal Logics

We study the expressivity and complexity of two modal logics interpreted on finite forests and equipped with standard modalities to reason on submodels.

Domaines

Informatique [cs]

Fichier principal

submitted-paper.pdf (1.05 Mo)

Origine	Fichiers produits par l'(les) auteur(s)

Stéphane Demri : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04056877

Soumis le : vendredi 3 novembre 2023-14:07:40

Dernière modification le : lundi 16 septembre 2024-15:40:03

Archivage à long terme le : dimanche 4 février 2024-19:03:03

Dates et versions

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

Identifiants

HAL Id : hal-04056877 , version 1
DOI : 10.1145/3569954

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN CENTRALESUPELEC UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF

92 Consultations

41 Téléchargements