Year:

Forthcoming articles
  1. Philipp Hieronymi (forthcoming). Expansions of the Ordered Additive Group of Real Numbers by Two Discrete Subgroups. Journal of Symbolic Logic:1-21.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  1
    Julia Knight, Antonio Montalbán & Noah Schweber (forthcoming). Computable Structures in Generic Extensions. Journal of Symbolic Logic:1-19.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  2
    E. Carlos H. Montenegro (forthcoming). Combinatorics on Large Cardinals. Journal of Symbolic Logic.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4. K. Došen & Z. Petric (forthcoming). Generality of Proofs and its Brauerian Representation, to Appear In. Journal of Symbolic Logic.
     
    Export citation  
     
    My bibliography  
  5. Rvszard Frankiewicz, Saharon Shelah & Paweł Zbierski (forthcoming). On Closed P-Sets with in the Ω. Journal of Symbolic Logic.
     
    Export citation  
     
    My bibliography   1 citation  
  6. Allwein Gerard & Dunn J. Michael (forthcoming). Kripke Models for Linear Logic. Journal of Symbolic Logic.
     
    Export citation  
     
    My bibliography  
  7. A. M. Haeberer & P. A. S. Veloso (forthcoming). Some Epistemological Reflections on Software Development. Journal of Symbolic Logic.
     
    Export citation  
     
    My bibliography  
  8.  41
    R. Hirsch & R. Egrot (forthcoming). Meet-Completions and Representations of Ordered Domain Algebras. Journal of Symbolic Logic.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. R. Hirsch, I. Hodkinson & A. Kurucz (forthcoming). On Modal Logics Between â â à and Ë¢ Ë¢ Ë. Journal of Symbolic Logic.
     
    Export citation  
     
    My bibliography  
  10. Wm Phillip Hudelson (forthcoming). Mass Problems and Initial Segment Complexity. Journal of Symbolic Logic.
     
    Export citation  
     
    My bibliography   1 citation  
  11.  16
    Neil Immerman, Jonathan F. Buss, A. David & Mix Barrington (forthcoming). Number of Variables is Equivalent to Space. Journal of Symbolic Logic.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  16
    Richard Kaye (forthcoming). A Diophantine Undecidable Subsystem of Arithmetic with No Induction Axioms. Journal of Symbolic Logic.
    Direct download  
     
    Export citation  
     
    My bibliography  
  13. M. Mostowski (forthcoming). The Logic of Divisibility. Journal of Symbolic Logic.
     
    Export citation  
     
    My bibliography   2 citations  
 Previous issues
  
Next issues