Studia Logica, Volume 85

Volume 85, Number 1, February 2007

• Marta Bílková:
  Uniform Interpolation and Propositional Quantifiers in Modal Logics. 1-31
  Electronic Edition (link) BibTeX
• Loïc Colson:
  Another Paradox In Naive Set-Theory. 33-39
  Electronic Edition (link) BibTeX
• Daniel Gâinâ, Andrei Popescu:
  An Institution-Independent Proof of the Robinson Consistency Theorem. 41-73
  Electronic Edition (link) BibTeX
• Oliver Kutz:
  Notes on Logics of Metric Spaces. 75-104
  Electronic Edition (link) BibTeX
• Urszula Wybraniec-Skardowska:
  Meaning and Interpretation. I. 105-132
  Electronic Edition (link) BibTeX
• Robert van Rooij:
  The Stag Hunt and the Evolution of Social Structure. 133-138
  Electronic Edition (link) BibTeX

Volume 85, Number 2, March 2007

• Tarek Sayed Ahmed:
  A Note on Neat Reducts. 139-151
  Electronic Edition (link) BibTeX
• Barbara Dziemidowicz-Gryz:
  On Learnability of Restricted Classes of Categorial Grammars. 153-169
  Electronic Edition (link) BibTeX
• Lou Goble:
  Combinatory Logic and the Semantics of Substructural Logics. 171-197
  Electronic Edition (link) BibTeX
• Phiniki Stouppa:
  A Deep Inference System for the Modal Logic S5. 199-214
  Electronic Edition (link) BibTeX
• George Voutsadakis:
  Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity. 215-249
  Electronic Edition (link) BibTeX
• Xuefeng Wen:
  A Propositional Logic with Relative Identity Connective and a Partial Solution to the Paradox of Analysis. 251-260
  Electronic Edition (link) BibTeX
• Urszula Wybraniec-Skardowska:
  Meaning and Interpretation. II. 261-274
  Electronic Edition (link) BibTeX
• Melvin Fitting:
  Correction to FOIL Axiomatized Studia Logica , 84: 1-22, 2006. 275
  Electronic Edition (link) BibTeX
• Roy Cook:
  Book Reviews. 277-281
  Electronic Edition (link) BibTeX

Volume 85, Number 3, April 2007

• Joanna Golinska-Pilarek, Ewa Orlowska:
  Tableaux and Dual Tableaux: Transformation of Proofs. 283-302
  Electronic Edition (link) BibTeX
• Yutaka Miyazaki:
  Kripke Incomplete Logics Containing KTB. 303-317
  Electronic Edition (link) BibTeX
• Sebastiaan Terwijn:
  Kripke Models, Distributive Lattices, and Medvedev Degrees. 319-332
  Electronic Edition (link) BibTeX
• Marc Aiguier, Fabrice Barbier:
  An Institution-independent Proof of the Beth Definability Theorem. 333-359
  Electronic Edition (link) BibTeX
• Katarzyna Gajewska-Kurdziel, Krystyna Mruczek-Nasieniewska:
  The Lattice of Subvarieties of the Variety Defined by Externally Compatible Identities of Abelian Groups of Exponent n. 361-379
  Electronic Edition (link) BibTeX
• Yutaka Miyazaki:
  A Splitting Logic in NExt(KTB). 381-394
  Electronic Edition (link) BibTeX
• Claudio Pizzi:
  Necessity and Relative Contingency. 395-410
  Electronic Edition (link) BibTeX
• Igor Kozine:
  Joseph Y. Halpern, Reasoning about uncertainty. 411-412
  Electronic Edition (link) BibTeX
• Anders Søgaard:
  Patrick Blackburnand Johan Bos, Representation and Inference for Natural Language. 413-418
  Electronic Edition (link) BibTeX
• Reinhard Kahle:
  Edwin D. Mares, Relevant Logic - A Philosophical Interpretation. 419-424
  Electronic Edition (link) BibTeX
• A. D. Irvine:
  John Woods, Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences. 425-428
  Electronic Edition (link) BibTeX