Year:

  1.  2
    Germinal Theories in Łukasiewicz Logic.Leonardo Manuel Cabrer & Daniele Mundici - 2017 - Annals of Pure and Applied Logic 168 (5):1132-1151.
  2.  3
    Characterizing Large Cardinals in Terms of Layered Posets.Sean Cox & Philipp Lücke - 2017 - Annals of Pure and Applied Logic 168 (5):1112-1131.
  3.  2
    Mitchell's Theorem Revisited.Thomas Gilton & John Krueger - 2017 - Annals of Pure and Applied Logic 168 (5):922-1016.
  4.  1
    Spatial Logic of Tangled Closure Operators and Modal Mu-Calculus.Robert Goldblatt & Ian Hodkinson - 2017 - Annals of Pure and Applied Logic 168 (5):1032-1090.
  5.  5
    Characterizing Model-Theoretic Dividing Lines Via Collapse of Generalized Indiscernibles.Vincent Guingona, Cameron Donnay Hill & Lynn Scow - 2017 - Annals of Pure and Applied Logic 168 (5):1091-1111.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  1
    Bar Recursion Over Finite Partial Functions.Paulo Oliva & Thomas Powell - 2017 - Annals of Pure and Applied Logic 168 (5):887-921.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  1
    Honest Elementary Degrees and Degrees of Relative Provability Without the Cupping Property.Paul Shafer - 2017 - Annals of Pure and Applied Logic 168 (5):1017-1031.
  8.  7
    Ordinals and Graph Decompositions.Stephen Flood - 2017 - Annals of Pure and Applied Logic 168 (4):824-839.
  9.  2
    Randomness for Computable Measures and Initial Segment Complexity.Rupert Hölzl & Christopher P. Porter - 2017 - Annals of Pure and Applied Logic 168 (4):860-886.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  4
    Computable Neighbourhoods of Points in Semicomputable Manifolds.Zvonko Iljazović & Lucija Validžić - 2017 - Annals of Pure and Applied Logic 168 (4):840-859.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  4
    Polish G-Spaces and Continuous Logic.A. Ivanov & B. Majcher-Iwanow - 2017 - Annals of Pure and Applied Logic 168 (4):749-775.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  4
    Covering the Recursive Sets.Bjørn Kjos-Hanssen, Frank Stephan & Sebastiaan A. Terwijn - 2017 - Annals of Pure and Applied Logic 168 (4):804-823.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  1
    On Non-Self-Referential Fragments of Modal Logics.Junhua Yu - 2017 - Annals of Pure and Applied Logic 168 (4):776-803.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  4
    Algebraic Proof Theory: Hypersequents and Hypercompletions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2017 - Annals of Pure and Applied Logic 168 (3):693-737.
  15.  8
    Distance Structures for Generalized Metric Spaces.Gabriel Conant - 2017 - Annals of Pure and Applied Logic 168 (3):622-650.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  1
    A Uniform Version of Non-Low2-Ness.Yun Fan - 2017 - Annals of Pure and Applied Logic 168 (3):738-748.
  17.  3
    Representation and Duality of the Untyped Λ-Calculus in Nominal Lattice and Topological Semantics, with a Proof of Topological Completeness.Murdoch J. Gabbay & Michael Gabbay - 2017 - Annals of Pure and Applied Logic 168 (3):501-621.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  3
    Downward Categoricity From a Successor Inside a Good Frame.Sebastien Vasey - 2017 - Annals of Pure and Applied Logic 168 (3):651-692.
  19.  3
    Realizability for Peano Arithmetic with Winning Conditions in HON Games.Valentin Blot - 2017 - Annals of Pure and Applied Logic 168 (2):254-277.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  4
    Game Semantics for Non-Monotonic Intensional Logic Programming.Chrysida Galanaki, Christos Nomikos & Panos Rondogiannis - 2017 - Annals of Pure and Applied Logic 168 (2):234-253.
  21.  5
    Reasoning About Equilibria in Game-Like Concurrent Systems.Julian Gutierrez, Paul Harrenstein & Michael Wooldridge - 2017 - Annals of Pure and Applied Logic 168 (2):373-403.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  3
    Semantics of Higher-Order Quantum Computation Via Geometry of Interaction.Ichiro Hasuo & Naohiko Hoshino - 2017 - Annals of Pure and Applied Logic 168 (2):404-469.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  3
    Foreword for Special Issue of APAL for GaLoP 2013.Martin Hyland, Guy McCusker & Nikos Tzevelekos - 2017 - Annals of Pure and Applied Logic 168 (2):233.
  24.  6
    Combining Control Effects and Their Models: Game Semantics for a Hierarchy of Static, Dynamic and Delimited Control Effects.J. Laird - 2017 - Annals of Pure and Applied Logic 168 (2):470-500.
  25.  7
    A Micrological Study of Negation.Paul-André Melliès - 2017 - Annals of Pure and Applied Logic 168 (2):321-372.
  26.  4
    Interaction Graphs: Graphings.Thomas Seiller - 2017 - Annals of Pure and Applied Logic 168 (2):278-320.
  27.  6
    A Classification of Orbits Admitting a Unique Invariant Measure.Nathanael Ackerman, Cameron Freer, Aleksandra Kwiatkowska & Rehana Patel - 2017 - Annals of Pure and Applied Logic 168 (1):19-36.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  4
    Cardinal Characteristics at Κ in a Small U Model.A. D. Brooke-Taylor, V. Fischer, S. D. Friedman & D. C. Montoya - 2017 - Annals of Pure and Applied Logic 168 (1):37-49.
  29.  5
    Labeled Sequent Calculus for Justification Logics.Meghdad Ghari - 2017 - Annals of Pure and Applied Logic 168 (1):72-111.
  30.  1
    Proof Complexity of Intuitionistic Implicational Formulas.Emil Jeřábek - 2017 - Annals of Pure and Applied Logic 168 (1):150-190.
  31.  2
    Vaught's Conjecture for Quite o-Minimal Theories.B. Sh Kulpeshov & S. V. Sudoplatov - 2017 - Annals of Pure and Applied Logic 168 (1):129-149.
  32. Bounded Stationary Reflection II.Chris Lambie-Hanson - 2017 - Annals of Pure and Applied Logic 168 (1):50-71.
  33.  2
    Pseudo Real Closed Fields, Pseudo P-Adically Closed Fields and NTP2.Samaria Montenegro - 2017 - Annals of Pure and Applied Logic 168 (1):191-232.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  2
    Effective Results on a Fixed Point Algorithm for Families of Nonlinear Mappings.Andrei Sipoş - 2017 - Annals of Pure and Applied Logic 168 (1):112-128.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  3
    Products of Menger Spaces: A Combinatorial Approach.Piotr Szewczak & Boaz Tsaban - 2017 - Annals of Pure and Applied Logic 168 (1):1-18.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues