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
  
• Martin C. Henson, Steve Reeves:
  Investigating Z. 43-73
  
• Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli:
  Object calculi in linear logic. 75-104
  
• Klaus U. Schulz:
  Tractable and intractable instances of combination problems for unification and disunification. 105-135
  
• Patrick Blackburn:
  Internalizing labelled deduction. 137-168
  

Volume 10, Number 2, April 2000

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

Volume 10, Number 3, June 2000

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

Volume 10, Number 4, August 2000

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

Volume 10, Number 5, October 2000

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

Volume 10, Number 6, December 2000

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

Last update Thu May 23 19:14:26 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page