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 updated on Sat May 25 06:39:18 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page