Studia Logica, Volume 62

Volume 62, Number 1, January 1999

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

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

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