External Links

    Journal: Studia Logica

    Volume 62, Issue 3

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

    Volume 62, Issue 2

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

    Volume 62, Issue 1

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