Annals of Pure and Applied Logic, Volume 69

Volume 69, Number 1, 6 September 1994

• Joan Bagaria: Fragments of Martin's axiom and Delta¹₃ Sets of Reals. 1-25 BibTeX
• Steven Givant, Saharon Shelah: Universal Theories Categorical in Power and kappa-Generated Models. 27-51 BibTeX
• Bradd Hart, Sergei Starchenko: Superstable Quasi-Varieties. 53-71 BibTeX
• Bart Jacobs: Semantics of Weakening and Contraction. 73-106 BibTeX
• Renling Jin, Saharon Shelah: Essential Kurepa Trees versus Essential Jech-Kunen Trees. 107-131 BibTeX

Volume 69, Numbers 2-3, 14 October 1994

• Andre Scedrov: Preface - Invited papers presented at the 1992 IEEE Symposium on Logic in Computer Science. 133 BibTeX
• Gilles Dowek: Third Order Matching is Decidable. 135-155 BibTeX
• Joseph Y. Halpern, Bruce M. Kapron: Zero-One Laws for Modal Logic. 157-193 BibTeX
• Max I. Kanovich: The Complexity of Horn Fragments of Linear Logic. 195-241 BibTeX
• Nils Klarlund: Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata. 243-268 BibTeX
• Hiroshi Nakano: A Constructive Logic Behind the Catch and Throw Mechanism. 269-301 BibTeX