Journals in DBLP

Ann. Pure Appl. Logic
2009, volume: 161, number: 1

1. 
   Modal characterisation theorems over special classes of frames. [Citation Graph (, )][DBLP]
   
   
2. 
   On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular. [Citation Graph (, )][DBLP]
   
   
3. 
   Covering theorems for the core model, and an application to stationary set reflection. [Citation Graph (, )][DBLP]
   
   
4. 
   Dense non-reflection for stationary collections of countable sets. [Citation Graph (, )][DBLP]
   
   
5. 
   A completeness result for the simply typed lambdaµ-calculus. [Citation Graph (, )][DBLP]