Logic, Language, Information and Computation

15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

  • Editors
  • Wilfrid Hodges
  • Ruy de Queiroz
Conference proceedings WoLLIC 2008

DOI: 10.1007/978-3-540-69937-8

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5110)

Table of contents (26 papers)

  1. Front Matter
  2. Tutorials and Invited Lectures

    1. Inter-deriving Semantic Artifacts for Object-Oriented Programming
      Olivier Danvy, Jacob Johannsen
      Pages 1-16
    2. Talks on Quantum Computing
      Sam Lomonaco
      Pages 26-27
    3. On Game Semantics of the Affine and Intuitionistic Logics
      Ilya Mezhirov, Nikolay Vereshchagin
      Pages 28-42
    4. The Grammar of Scope
      Mark Steedman
      Pages 43-43
  3. Contributed Papers

    1. Conjunctive Grammars and Alternating Pushdown Automata
      Tamar Aizikowitz, Michael Kaminski
      Pages 44-55
    2. Expressive Power and Decidability for Memory Logics
      Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera
      Pages 56-68
    3. Reasoning with Uncertainty by Nmatrix–Metric Semantics
      Ofer Arieli, Anna Zamansky
      Pages 69-82
    4. A Propositional Dynamic Logic for CCS Programs
      Mario R. F. Benevides, L. Menasché Schechter
      Pages 83-97
    5. Towards Ontology Evolution in Physics
      Alan Bundy, Michael Chan
      Pages 98-110
    6. Nominal Matching and Alpha-Equivalence
      Christophe Calvès, Maribel Fernández
      Pages 111-122
    7. Interval Additive Generators of Interval T-Norms
      G. P. Dimuro, B. C. Bedregal, R. H. S. Reiser, R. H. N. Santiago
      Pages 123-135
    8. Propositional Dynamic Logic as a Logic of Belief Revision
      Jan van Eijck, Yanjing Wang
      Pages 136-148
    9. On the Formal Semantics of IF-Like Logics
      Santiago Figueira, Daniel Gorín, Rafael Grimson
      Pages 164-178
    10. One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations
      Murdoch J. Gabbay, Dominic P. Mulligan
      Pages 179-193
    11. Labelled Calculi for Łukasiewicz Logics
      D. Galmiche, Y. Salhi
      Pages 194-207
    12. An Infinitely-Often One-Way Function Based on an Average-Case Assumption
      Edward A. Hirsch, Dmitry M. Itsykson
      Pages 208-217
    13. On Characteristic Constants of Theories Defined by Kolmogorov Complexity
      Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo
      Pages 218-225

About these proceedings

Introduction

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008.

The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.

Keywords

Action Natural adaptive functions algorithms artificial intelligence belief revision calculi classical computability completeness computational logic computational modeling decision procedure epistemic dynamic logic formal languages logic

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-69936-1
  • Online ISBN 978-3-540-69937-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349