Interpolation in the guarded fragment

Authors
Publication date 2002
Journal Studia Logica
Volume | Issue number 70 | 3
Pages (from-to) 273-409
Number of pages 136
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Permalink to this page
Back