Annals of Pure and Applied Logic

Title Publication Date Language Citations
The wholeness axiom and Laver sequences2000/11/01English
Doing logic by computer: interpolation in fragments of intuitionistic propositional logic2000/07/01English
Terminal notions in set theory2001/05/01English
Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis2000/11/01English
On maximal subgroups of the automorphism group of a countable recursively saturated model of PA1993/12/01English
A course on bimodal provability logic1995/05/01English
On the provability logic of bounded arithmetic1993/05/01English
On bimodal logics of provability1994/07/01English
Nonstandard definability1989/03/01English
Generic absoluteness2001/03/01English
The monadic second-order logic of graphs IV: definability properties of equational graphs11This work has been supported by the “Programme de Recherches Coordonnées: Mathématiques et Informatique”, and by the ESPRIT-Basic Research Action contract No. 3299, “Computing by graph transformations”.1990/10/01English
A new model for intuitionistic analysis1990/05/01English
Relation algebras from cylindric algebras, II2001/12/01English
Back-and-forth systems for generic curves and a decision algorithm for the limit theory2001/08/01English
Transfer theorems for π-monads1989/10/01English
Multifunction algebras and the provability of PH↓2000/07/01English
Window-accumulated subsequence matching problem is linear2001/12/01English
Forcing closed unbounded subsets of ω22001/06/01English
A hierarchy of ramsey cardinals1990/10/01English
Neocompact quantifier elimination in structures based on Banach spaces2001/07/01English
Trees, fundamental groups and homology groups2001/08/01English
A unification-theoretic method for investigating the k-provability problem1991/03/01English
Some effectively infinite classes of enumerations1993/05/01English
A(nother) characterization of intuitionistic propositional logic2001/12/01English
Characterizing weak compactness1984/02/01English
MAX SAT approximation beyond the limits of polynomial-time approximation2001/12/01English
Editorial Board1988/04/01English
On second-order generalized quantifiers and finite structures2002/06/01English
Editorial2024/01/01English
Probing the quantitative–qualitative divide in probabilistic reasoning2023/07/01English