Advertisement

Logic, Language, and Information

  • Patrick Blackburn
  • Maarten de Rijke
  • Yde Venema
Part of the Advances in Computing Sciences book series (ACS)

Abstract

The rapidly evolving interdisciplinary field of Logic, Language and Information (LLI) treats a variety of topics, ranging from knowledge representation to the syntax, semantics and pragmatics of natural language. Moreover, it does so from a variety of perspectives. However, one word more than any other gives the flavour of much contemporary work in LLI: dynamics. The purpose of this chapter is twofold. First, we give an impression of what LLI is and why dynamics plays such a fundamental role there. Second, we relate the study of dynamics to relation algebra. The essential point that will emerge is that many LLI approaches to dynamics can be naturally viewed as explorations of fragments of relation algebra via their set-theoretic representations.

Keywords

Modal Logic Transition System Belief Revision Relation Algebra Kripke Structure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Notes

  1. 1.
    The research of the third author has been made possible by a fellowship of the Royal Netherlands Academy of Arts and Sciences.Google Scholar
  2. 2.
    Our presentation is not justified from the historical perspective. For instance, the idea of a relational interpretation of Lambek’s Calculus is due to [van Benthem 1989], 30 years after the introduction of the system by Lambek.Google Scholar

Copyright information

© Springer-Verlag Wien 1997

Authors and Affiliations

  • Patrick Blackburn
  • Maarten de Rijke
  • Yde Venema

There are no affiliations available

Personalised recommendations