Volume 66, Number 1, October 2000

• 
  François Lepage, Elias Thijsse, Heinrich Wansing: Introduction. 1-4
• 
  J. Michael Dunn: Partiality and Its Dual. 5-40
• 
  Jan van Eijck: Making Things Happen. 41-58
• 
  William M. Farmer, Joshua D. Guttman: A Set Theory with Support for Partial Functions. 59-78
• 
  Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer: On Agents That Have the Ability to Choose. 79-119
• 
  René Lavendhomme, Thierry Lucas: Sequent Calculi and Decision Procedures for Weak Modal Systems. 121-145
• 
  François Lepage: Partial Monotonic Protothetics. 147-163
• 
  Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl: Ability and Knowing How in the Situation Calculus. 165-186
• 
  Peter K. Schotch: Skepticism and Epistemic Logic. 187-198

Volume 66, Number 2, November 2000

• 
  Alexander S. Karpenko: V. A. Smirnov (1931-1996): Work and Life. 201-204
• 
  V. K. Finn: Vladimir Alexandrovich Smirnov as a Founder of Research Schools in Logic and Methodology of Science in the USSR and Russia. 205-213
• 
  Publications of Vladimir Alexandrovich Smirnov. 215-225
• 
  V. A. Smirnov's Results in the Field of Modern Formal Logic. 227-252
• 
  Alexander S. Karpenko: The Classification of Propositional Calculi. 253-271
• 
  Natasha Alechina: Functional Dependencies between Variables. 273-283
• 
  Katalin Bimbó: Investigation into Combinatory Systems with Dual Combinators. 285-296
• 
  Vera Stebletsova: Weakly Associative Relation Algebras with Polyadic Composition Operations. 297-323

Volume 66, Number 3, December 2000

• 
  Diderik Batens, Joke Meheus: The Adaptive Logic of Compatibility. 327-348
• 
  Stéphane Demri, Dov M. Gabbay: On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II. 349-384
• 
  Luca Viganò: An O(n log n)-Space Decision Procedure for the Relevance Logic B+. 385-407
• 
  José M. Méndez, Francisco Salto: Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'. 409-418

last updated on Sat May 18 06:37:24 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page