A non-compactness phenomenon in logics with hyperintensional predication Cinzia BonottoAlberto Zanardo OriginalPaper Pages: 383 - 398
The inconsistency of higher order extensions of Martin-Löf's type theory Bart Jacobs OriginalPaper Pages: 399 - 422