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