Please direct all enquiries to:
Agata Ciabattoni (agata@logic.at)
Tim Lyon (timothy_stephen.lyon@tu-dresden.de)
Nicola Olivetti (nicola.olivetti@univ-amu.fr)
Revantha Ramanayake (d.r. s.ramanayake@rug.nl)
Translating and Discovering Calculi for Modal and Related Logics
