On Composing Finite Forests with Modal Logics

From International Center for Computational Logic

Toggle side column

On Composing Finite Forests with Modal Logics

Bartosz BednarczykBartosz Bednarczyk,  Stéphane DemriStéphane Demri,  Raul FervariRaul Fervari,  Alessio MansuttiAlessio Mansutti
On Composing Finite Forests with Modal Logics


Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
On Composing Finite Forests with Modal Logics
ACM Transactions on Computational Logic, to appear
@article{BDFM2022,
  author  = {Bartosz Bednarczyk and St{\'{e}}phane Demri and Raul Fervari and
             Alessio Mansutti},
  title   = {On Composing Finite Forests with Modal Logics},
  journal = {ACM Transactions on Computational Logic},
  year    = {2022}
}