Computer Science Logic

1. Front Matter

   Pages I-XII

   PDF

2. Invited Lectures

   1. Limit-Computable Mathematics and Its Applications

      • Susumu Hayashi, Yohji Akama

      Pages 1-1

   2. Automata, Logic, and XML

      • Frank Neven

      Pages 2-26

   3. μ-Calculus via Games (Extended Abstract)

      • Damian Niwiński

      Pages 27-44

3. Rewriting and Constructive Mathematics

   1. Bijections between Partitions by Two-Directional Rewriting Techniques

      • Max Kanovich

      Pages 44-58

   2. On Continuous Normalization

      • Klaus Aehlig, Felix Joachimski

      Pages 59-74

   3. Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle

      • Alexey V. Chernov, Dmitriy P. Skvortsov, Elena Z. Skvortsova, Nikolai K. Vereshchagin

      Pages 74-88

   4. Compactness and Continuity, Constructively Revisited

      • Douglas Bridges, Hajime Ishihara, Peter Schuster

      Pages 89-102

4. Fixpoints and Recursion

   1. Hoare Logics for Recursive Procedures and Unbounded Nondeterminism

      • Tobias Nipkow

      Pages 103-119

   2. A Fixpoint Theory for Non-monotonic Parallelism

      • Yifeng Chen

      Pages 120-134

   3. Greibach Normal Form in Algebraically Complete Semirings

      • Zoltán Ésik, Hans Leiβ

      Pages 135-150

5. Linear and Resource Logics

   1. Proofnets and Context Semantics for the Additives

      • Harry G. Mairson, Xavier Rival

      Pages 151-166

   2. A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming

      • Joshua S. Hodas, Pablo López, Jeffrey Polakow, Lubomira Stoilova, Ernesto Pimentel

      Pages 167-182

   3. Resource Tableaux

      • Didier Galmiche, Daniel Méry, David Pym

      Pages 183-199

6. Semantics

   1. Configuration Theories

      • Pietro Cenciarelli

      Pages 200-215

   2. A Logic for Probabilities in Semantics

      • M. Andrew Moshier, Achim Jung

      Pages 216-232

   3. Possible World Semantics for General Storage in Call-By-Value

      • Paul Blain Levy

      Pages 232-246

   4. A Fully Abstract Relational Model of Syntactic Control of Interference

      • Guy McCusker

      Pages 247-261

7. Temporal Logics and Games

   1. Optimal Complexity Bounds for Positive LTL Games

      • Jerzy Marcinkowski, Tomasz Truderung

      Pages 262-275

   2. The Stuttering Principle Revisited: On the Expressiveness of Nested X and ⋃ Operators in the Logic LTL

      • Antonín Kucera, Jan Strejček

      Pages 276-291

The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22–25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries during a two week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 37 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Susumu Hayashi, Frank Neven, and Damian Niwinski; ´ the papers provided by the invited speakers appear at the front of this volume. In addition to the main conference, two tutorials – ‘Introduction to Mu- Calculi’ (Julian Brad?eld) and ‘Parametrized Complexity’ (Martin Grohe) – were given on the previous day.

• AI Logic
• Computer Science Logic
• Formal Methods
• Higher-Order Logic
• Logical Calculi
• Logical Foundations
• Mathematical Logic
• Nonclassical Logics
• Program Logic
• Program Semantics
• Proof Theory
• Resolution
• complexity
• logic
• semantics

• Laboratory for Foundations of Computer Science Division of Informatics, University of Edinburgh, Edinburgh, UK

  Julian Bradfield

Policies and ethics