All proper normal extensions of S5-square have the polynomial size model property

Authors
Publication date 2000
Series Technical Reports, PP-2000-14
Publisher Amsterdam: Institute for Logic, Language and Computation
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Working paper
Permalink to this page
Back