Skip to main navigation Skip to search Skip to main content

Uniform Interpolation in Intuitionistic Modal Logic

  • Iris van der Giessen (Speaker)

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

Period30 Jun 2020
Event titleWomen in Logic 2020 (online)
Event typeConference
LocationParis, FranceShow on map
Degree of RecognitionInternational

Keywords

  • uniform interpolation
  • intuitionistic modal logic
  • termination