Studia Logica, Volume 63

Volume 63, Number 1, July 1999

Ulrich Kohlenbach: A Note on Goodman's Theorem. 1-5
Duccio Luchi, Franco Montagna: An Operational Logic of Proofs with Positive and Negative Information. 7-25
Paolo Gentilini: Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric. 27-48
John Cantwell: Some Logics of Iterated Belief Change. 49-84
J. W. Degen: Complete Infinitary Type Logics. 85-119
James D. McCawley: Everything That Linguists Have Always Wanted to Know About Logic. 121-150

Alexander Yashin: New Intuitionistic Logical Constants and Novikov Completeness. 151-180
Ryo Kashima, Norihiro Kamide: Substructural Implicational Logics Including the Relevant Logic E. 181-212
Clint J. van Alten, James G. Raftery: The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction. 213-222
R. Elgueta, Ramon Jansana: Definability of Leibniz Equality. 223-243
Paolo Gentilini: Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel. 245-268

Paolo Gentilini: Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof. 301-310
Adrian Miroiu: Actuality and World-Indexed Sentences. 311-330
Eduardo L. Fermé, Sven Ove Hansson: Selective Revision. 331-342
Wim Ruitenburg: Basic Logic, K4, and Persistence. 343-352
Silvio Ghilardi, Pierangelo Miglioli: On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics. 353-385
Nobu-Yuki Suzuki: Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics. 387-416