All proper normal extensions of s5-squared have the polynomial size model property
| Authors | |
|---|---|
| Publication date | 2003 |
| Journal | Studia Logica |
| Volume | Issue number | 73 |
| Pages (from-to) | 367-382 |
| Organisations |
|
| Document type | Article |
| Permalink to this page | |
