Bounded query classes and the difference hierarchy Richard BeigelWilliam I. GasarchLouise Hay OriginalPaper Pages: 69 - 84
Presheaf semantics and independence results for some non-classical first-order logics Silvio Ghilardi OriginalPaper Pages: 125 - 136