Uniform interpolation for monotone modal logic

Authors
Publication date 2010
Host editors
  • L. Beklemishev
  • V. Goranko
  • V. Shehtman
Book title Advances in Modal Logic
Book subtitle AiML 8
ISBN
  • 9781848900134
Event Advances in Modal Logic 2010 (AiML 2010), Moscow, Russia
Pages (from-to) 350-370
Publisher London: College Publications
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Language English
Published at http://www.aiml.net/volumes/volume8/Santocanale-Venema.pdf
Permalink to this page
Back