Journal of Logic and Computation, Volume 10

Volume 10, Number 1, February 2000

• Peter G. Harrison, B. Strulo: SPADES - a process algebra for discrete event simulation. 3-42 BibTeX
• Martin C. Henson, Steve Reeves: Investigating Z. 43-73 BibTeX
• Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli: Object calculi in linear logic. 75-104 BibTeX
• Klaus U. Schulz: Tractable and intractable instances of combination problems for unification and disunification. 105-135 BibTeX
• Patrick Blackburn: Internalizing labelled deduction. 137-168 BibTeX

Volume 10, Number 2, April 2000

• Eike Ritter, David J. Pym, Lincoln A. Wallen: Proof-terms for classical and intuitionistic resolution. 173-207 BibTeX
• John T. Baldwin: Stability, the finite cover property and 0-1 laws. 209-212 BibTeX
• Stefano Aguzzoli, Agata Ciabattoni, Antonio di Nola: Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions. 213-222 BibTeX
• Frank Wolter: The product of converse PDL and polymodal K. 223-251 BibTeX
• Kaile Su, Huowang Chen, Decheng Ding: Two alternative notions of 'possibility' satisfying Halpern's conditions. 253-269 BibTeX
• Rana Barua, Suman Roy, Chaochen Zhou: Completeness of neighbourhood logic. 271-295 BibTeX
• B. O. Akinkunmi: On the expressive limits of reified theories. 297-313 BibTeX

Volume 10, Number 3, June 2000

• Fairouz Kamareddine, Jan Willem Klop: Editorial. 321-322 BibTeX
• John R. W. Glauert, Richard Kennaway, Zurab Khasidashvili: Stable results and relative normalization. 323-348 BibTeX
• Fairouz Kamareddine, Alejandro Ríos: Relating the [lgr][sgr]- and [lgr]s-styles of explicit substitutions. 349-380 BibTeX
• Zurab Khasidashvili, Adolfo Piperno: A syntactical analysis of normalization. 381-410 BibTeX
• A. J. Kfoury: A linearization of the Lambda-calculus and consequences. 411-436 BibTeX
• Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer: A geometric proof of confluence by decreasing diagrams. 437-460 BibTeX
• Paul-André Melliès: Axiomatic rewriting theory II: the [lgr][sgr]-calculus enjoys finite normalisation cones. 461-487 BibTeX

Volume 10, Number 4, August 2000

• Giuseppe Longo, Kathleen Milsted, Sergei Soloviev: Coherence and transitivity of subtyping as entailment. 493-526 BibTeX
• Erika F. de Lima, Christoph Lingenfelder: Presentation of proofs in modal natural deduction. 527-572 BibTeX
• Karl Schlechta: Unrestricted preferential structures. 573-581 BibTeX
• Love Ekenberg: The logic of conflicts between decision making agents. 583-602 BibTeX
• Pavlos Peppas, Norman Y. Foo, Abhaya C. Nayak: Measuring similarity in belief revision. 603-619 BibTeX

Volume 10, Number 5, October 2000

• Laura Giordano, Alberto Martelli, Camilla Schwind: Ramification and causality in a modal action logic. 625-662 BibTeX
• John Derrick: A single complete refinement rule for Z. 663-675 BibTeX
• Anthony Hunter: Reasoning with contradictory information using quasi-classical logic. 677-703 BibTeX
• Joeri Engelfriet: Non-cumulative reasoning: rules and models. 705-719 BibTeX
• Fairouz Kamareddine: Postponement, conservation and preservation of strong normalization for generalized reduction. 721-738 BibTeX

Volume 10, Number 6, December 2000

• Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone:
  Reflection principles in computational logic. 743-786
  Electronic Edition (link) BibTeX
• Luca Spalazzi, Paolo Traverso:
  A dynamic logic for acting, sensing, and planning. 787-821
  Electronic Edition (link) BibTeX
• Radim Belohlávek:
  Similarity relations in concept lattices. 823-845
  Electronic Edition (link) BibTeX
• Marcelo Finger:
  A logical reconstruction of temporal databases. 847-876
  Electronic Edition (link) BibTeX
• Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro:
  A mixed decision method for duration calculus. 877-895
  Electronic Edition (link) BibTeX