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
• Steven Givant, Saharon Shelah: Universal Theories Categorical in Power and kappa-Generated Models. 27-51
• Bradd Hart, Sergei Starchenko: Superstable Quasi-Varieties. 53-71
• Bart Jacobs: Semantics of Weakening and Contraction. 73-106
• Renling Jin, Saharon Shelah: Essential Kurepa Trees versus Essential Jech-Kunen Trees. 107-131

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
• Gilles Dowek: Third Order Matching is Decidable. 135-155
• Joseph Y. Halpern, Bruce M. Kapron: Zero-One Laws for Modal Logic. 157-193
• Max I. Kanovich: The Complexity of Horn Fragments of Linear Logic. 195-241
• Nils Klarlund: Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata. 243-268
• Hiroshi Nakano: A Constructive Logic Behind the Catch and Throw Mechanism. 269-301