On Composing Finite Forests with Modal Logics

PublikationenPublications

• Nach AutorBy Author
  • Bartosz BednarczykBartosz Bednarczyk
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational 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

Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
On Composing Finite Forests with Modal Logics
ACM Transactions on Computational Logic, to appear

• Details
• Bibtex

• Forschungsgruppe:Research Group: Computational LogicComputational Logic

@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}
}