Studia Logica, Volume 85

Volume 85, Number 1, February 2007

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

Volume 85, Number 2, March 2007

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

Volume 85, Number 3, April 2007

• Joanna Golinska-Pilarek, Ewa Orlowska:
  Tableaux and Dual Tableaux: Transformation of Proofs. 283-302
  
• Yutaka Miyazaki:
  Kripke Incomplete Logics Containing KTB. 303-317
  
• Sebastiaan Terwijn:
  Kripke Models, Distributive Lattices, and Medvedev Degrees. 319-332
  
• Marc Aiguier, Fabrice Barbier:
  An Institution-independent Proof of the Beth Definability Theorem. 333-359
  
• 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
  
• Yutaka Miyazaki:
  A Splitting Logic in NExt(KTB). 381-394
  
• Claudio Pizzi:
  Necessity and Relative Contingency. 395-410
  
• Igor Kozine:
  Joseph Y. Halpern, Reasoning about uncertainty. 411-412
  
• Anders Søgaard:
  Patrick Blackburnand Johan Bos, Representation and Inference for Natural Language. 413-418
  
• Reinhard Kahle:
  Edwin D. Mares, Relevant Logic - A Philosophical Interpretation. 419-424
  
• A. D. Irvine:
  John Woods, Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences. 425-428
  

Last update Wed Feb 15 04:46:37 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page