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
Volume 62, Number 2, March 1999
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
Volume 62, Number 3, May 1999
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
Last update Wed May 22 18:20:47 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page