Year:

  1.  4
    The Uniform Content of Partial and Linear Orders.Eric P. Astor, Damir D. Dzhafarov, Reed Solomon & Jacob Suggs - 2017 - Annals of Pure and Applied Logic 168 (6):1153-1171.
  2. On Expansions of the Real Field by Complex Subgroups.Caulfield Erin - 2017 - Annals of Pure and Applied Logic 168 (6):1308-1334.
  3.  2
    The Countable Admissible Ordinal Equivalence Relation.William Chan - 2017 - Annals of Pure and Applied Logic 168 (6):1224-1246.
  4.  1
    Polytopes and Simplexes in P -Adic Fields.Luck Darnière - 2017 - Annals of Pure and Applied Logic 168 (6):1284-1307.
  5.  3
    Unifying the Model Theory of First-Order and Second-Order Arithmetic Via WKL 0 ⁎.Ali Enayat & Tin Lok Wong - 2017 - Annals of Pure and Applied Logic 168 (6):1247-1283.
  6.  1
    Condensational Equivalence, Equimorphism, Elementary Equivalence and Similar Similarities.S. Kurilić Miloš & Morača Nenad - 2017 - Annals of Pure and Applied Logic 168 (6):1210-1223.
  7.  1
    Dominating the Erdős–Moser Theorem in Reverse Mathematics.Ludovic Patey - 2017 - Annals of Pure and Applied Logic 168 (6):1172-1209.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  1
    The ⁎-Variation of the Banach–Mazur Game and Forcing Axioms.Yasuo Yoshinobu - 2017 - Annals of Pure and Applied Logic 168 (6):1335-1359.
  9.  2
    Germinal Theories in Łukasiewicz Logic.Leonardo Manuel Cabrer & Daniele Mundici - 2017 - Annals of Pure and Applied Logic 168 (5):1132-1151.
  10.  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.
  11.  2
    Mitchell's Theorem Revisited.Thomas Gilton & John Krueger - 2017 - Annals of Pure and Applied Logic 168 (5):922-1016.
  12.  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.
  13.  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  
  14.  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  
  15.  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.
  16.  7
    Ordinals and Graph Decompositions.Stephen Flood - 2017 - Annals of Pure and Applied Logic 168 (4):824-839.
  17.  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  
  18.  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  
  19.  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  
  20.  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  
  21.  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  
  22.  4
    Algebraic Proof Theory: Hypersequents and Hypercompletions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2017 - Annals of Pure and Applied Logic 168 (3):693-737.
  23.  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  
  24.  1
    A Uniform Version of Non-Low2-Ness.Yun Fan - 2017 - Annals of Pure and Applied Logic 168 (3):738-748.
  25.  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  
  26.  4
    Downward Categoricity From a Successor Inside a Good Frame.Sebastien Vasey - 2017 - Annals of Pure and Applied Logic 168 (3):651-692.
  27.  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  
  28.  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.
  29.  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  
  30.  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  
  31.  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.
  32.  7
    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.
  33.  7
    A Micrological Study of Negation.Paul-André Melliès - 2017 - Annals of Pure and Applied Logic 168 (2):321-372.
  34.  4
    Interaction Graphs: Graphings.Thomas Seiller - 2017 - Annals of Pure and Applied Logic 168 (2):278-320.
  35.  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  
  36.  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.
  37.  5
    Labeled Sequent Calculus for Justification Logics.Meghdad Ghari - 2017 - Annals of Pure and Applied Logic 168 (1):72-111.
  38.  1
    Proof Complexity of Intuitionistic Implicational Formulas.Emil Jeřábek - 2017 - Annals of Pure and Applied Logic 168 (1):150-190.
  39.  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.
  40. Bounded Stationary Reflection II.Chris Lambie-Hanson - 2017 - Annals of Pure and Applied Logic 168 (1):50-71.
  41.  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   1 citation  
  42.  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  
  43.  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