Year:

Forthcoming articles
  1. K. Higuchi & T. Kihara (forthcoming). Inside the Muchnik Degrees II: The Degree Structures Induced by the Arithmetical Hierarchy of Countably Continuous Functions. Annals of Pure and Applied Logic.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. P. Beame & T. Pitassi (forthcoming). Exponential Separation Between the Matching Principles and the Pigeonhole Principle. Submitted To. Annals of Pure and Applied Logic.
     
    My bibliography  
     
    Export citation  
  3. Paul Beame & Toniann Pitassi (forthcoming). An Exponential Separation Between the Matching Principles and the Pigeonhole Principle, Forthcoming. Annals of Pure and Applied Logic.
     
    My bibliography  
     
    Export citation  
  4. Andrey Bovykin & Andreas Weiermann (forthcoming). The Strength of Infinitary Ramseyan Principles Can Be Accessed by Their Densities. Annals of Pure and Applied Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Thierry Coquand & Giovanni Sambin (forthcoming). Preface of Special Issue on Formal Topology. Annals of Pure and Applied Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Maarten De Rijke (forthcoming). Modal Model Theory. Annals of Pure and Applied Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. I. Hodkinson, F. Wolter & M. Zakharyaschev (forthcoming). Fragments of Rst-Order Temporal Logics. Annals of Pure and Applied Logic.
    No categories
     
    My bibliography  
     
    Export citation  
  8. S. Luttik (forthcoming). On the Expressiveness of the Choice Quantifier. Annals of Pure and Applied Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Ja Makowsky (forthcoming). Annals of Pure and Applied Logic. Annals of Pure and Applied Logic.
     
    My bibliography  
     
    Export citation  
  10. E. Palmgren (forthcoming). Maximal and Partial Points in Formal Topology. Annals of Pure and Applied Logic.
     
    My bibliography  
     
    Export citation  
  11. Francesca Poggiolesi & Brian Hill (forthcoming). Analytic Logic of Proofs. Annals of Pure and Applied Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Gabriel Sandu & Merlijn Sevenster (forthcoming). Equilibrium Semantics. Annals of Pure and Applied Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Matteo Viale (forthcoming). On the Notion of Guessing Model. Annals of Pure and Applied Logic.
    Direct download  
     
    My bibliography  
     
    Export citation