Studia Logica, Volume 62

Volume 62, Number 1, January 1999

• Judit X. Madarász: Interpolation and Amalgamation; Pushing the Limits. Part II. 1-19 BibTeX
• Guram Bezhanishvili: Varieties of Monadic Heyting Algebras Part II: Duality Theory. 21-48 BibTeX
• Heinrich Wansing: Predicate Logics on Display. 49-75 BibTeX
• Patrick Bellot, J.-P. Cottin, Bernard Robinet, Djamil Sarni, J. Leneutre, Emmanuel Zarpas: Prolegomena of a Logic of Causality and Dynamism. 77-105 BibTeX

Volume 62, Number 2, March 1999

• Maria Luisa Dalla Chiara, Daniele Mundici: Preface. 117-120 BibTeX
• Fabio Bellissima, Saverio Cittadini: Finite Trees in Tense Logic. 121-140 BibTeX
• Andrea Cantini: Relating Quine's NF to Feferman`s EM. 141-162 BibTeX
• Giovanna Corsi: Bull`s Theorem by the Method of Diagrams. 163-176 BibTeX
• Stéphane Demri, Ewa Orlowska: Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of [diams]-Formulae. 177-200 BibTeX
• Annalisa Marcja, Carlo Toffalori: On the Elementarity of Some Classes of Abelian-by-Infinite Groups. 201-213 BibTeX
• Pierluigi Minari: Theories of Types and Names with Positive Stratified Comprehension. 215-242 BibTeX
• Franco Montagna, Giulia Simi: Paradigms in Measure Theoretic Learning and in Informant Learning. 243-268 BibTeX
• Giovanni Sambin: Subdirectly Irreducible Modal Algebras and Initial Frames. 269-282 BibTeX
• Helmut Schwichtenberg: Monotone Majorizable Functionals. 283-289 BibTeX
• A. S. Troelstra: Marginalia on Sequent Calculi. 291-303 BibTeX
• Dirk van Dalen: From Brouwerian Counter Examples to the Creating Subject. 305-314 BibTeX

Volume 62, Number 3, May 1999

• Jörg Flum, Matthias Schiehlen, Jouko A. Väänänen: Quantifiers and Congruence Closure. 315-340 BibTeX
• Mohammad Ardeshir: A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic. 341-352 BibTeX
• Volker Halbach: Conservative Theories of Classical Truth. 353-370 BibTeX
• Fabio Bellissima, Saverio Cittadini: Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4. 371-398 BibTeX
• Benjamin Blankertz, Andreas Weiermann: A Uniform Approach for Characterizing the Provably Total Number-Theoretic Functions of KPM and (Some of) its Subsystems. 399-427 BibTeX