The Expressive Power of Restricted Fragments of English

  • Allan Third
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3492)

Abstract

Taking the notion of expressive power of a language to mean its ability to distinguish different situations, we define four simple fragments of English based on the syntactic constructions they contain, and characterise their expressive power via translation into first-order logic. We also describe the circumstances under which an arbitrary first-order formula can be translated back into an English sentence of each fragment. This work is an extension of the semantic complexity results of Pratt-Hartmann [2] and Pratt-Hartmann [3].

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Blackburn, P., de Rijke, M., Venema, Y.: Modal logic. In: Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge (2001)Google Scholar
  2. 2.
    Pratt-Hartmann, I.: Fragments of language. Journal of Logic, Language and Information 13, 207–223 (2004)MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Pratt-Hartmann, I., Third, A.: More fragments of language. Notre-Dame Journal of Formal Logic (2004) (submitted.)Google Scholar
  4. 4.
    van Benthem, J.: Exploring logical dynamics. CSLI Publications, Stanford (1996)MATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Allan Third
    • 1
  1. 1.School of Computer ScienceUniversity of ManchesterUK

Personalised recommendations