Proving Uniform Interpolation via Nested Sequents

  • Iris van der Giessen (Speaker)

Activity: Talk or presentation › Poster/paper presentation › Academic

Period16 Jun 2021
Event titleSeventh TICAMORE meeting (online): Translating and Discovering Calculi for Modal and Related Logics
Event typeWorkshop
LocationVienna, AustriaShow on map