Skip to main content
SpringerLink
Log in
Book cover

Logic, Language, Information and Computation

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

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Wilfrid Hodges
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ruy Queiroz
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: WoLLIC 2008.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 99.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Download chapter PDF

  2. Tutorials and Invited Lectures

    1. Inter-deriving Semantic Artifacts for Object-Oriented Programming

      • Olivier Danvy, Jacob Johannsen
      Pages 1-16

    2. On the Descriptive Complexity of Linear Algebra

      • Anuj Dawar
      Pages 17-25

    3. Talks on Quantum Computing

      • Sam Lomonaco
      Pages 26-27

    4. On Game Semantics of the Affine and Intuitionistic Logics

      • Ilya Mezhirov, Nikolay Vereshchagin
      Pages 28-42

    5. 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. Time Complexity and Convergence Analysis of Domain Theoretic Picard Method

      • Amin Farjudian, Michal Konečný
      Pages 149-163

    10. On the Formal Semantics of IF-Like Logics

      • Santiago Figueira, Daniel Gorín, Rafael Grimson
      Pages 164-178

    11. One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations

      • Murdoch J. Gabbay, Dominic P. Mulligan
      Pages 179-193

    12. Labelled Calculi for Łukasiewicz Logics

      • D. Galmiche, Y. Salhi
      Pages 194-207

    13. An Infinitely-Often One-Way Function Based on an Average-Case Assumption

      • Edward A. Hirsch, Dmitry M. Itsykson
      Pages 208-217

    14. On Characteristic Constants of Theories Defined by Kolmogorov Complexity

      • Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo
      Pages 218-225
Back to top

Other volumes

  1. Logic, Language, Information and Computation

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation