Lecture Notes in Artificial Intelligence

Logic, Language, and Computation

8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers

Editors: Bezhanishvili, N., Löbner, S., Schwabe, K., Spada, L. (Eds.)

  • <p>Up-to-date results </p><p>Fast-track conference proceedings </p><p>State-of-the-art research</p>

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-22303-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-642-22302-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, held in Bakuriani, Georgia, in September 2009. The 20 revised full papers included in the book were carefully reviewed and selected from numerous presentations given at the symposium. The focus of the papers is on the following topics: natural language syntax, semantics, and pragmatics; constructive, modal and algebraic logic; linguistic typology and semantic universals; logics for artificial intelligence; information retrieval, query answer systems; logic, games, and formal pragmatics; language evolution and learnability; computational social choice; historical linguistics, history of logic.

Table of contents (22 chapters)

  • Ordinal Completeness of Bimodal Provability Logic GLB

    Beklemishev, Lev

    Pages 1-15

  • Spectral and T 0-Spaces in d-Semantics

    Bezhanishvili, Guram (et al.)

    Pages 16-29

  • A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi

    Bílková, Marta

    Pages 30-45

  • A Modal Transcription of the Hausdorff Residue

    Esakia, Leo

    Pages 46-52

  • Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models

    Jongh, Dick (et al.)

    Pages 53-76

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-22303-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-642-22302-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic, Language, and Computation
Book Subtitle
8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers
Editors
  • Nick Bezhanishvili
  • Sebastian Löbner
  • Kerstin Schwabe
  • Luca Spada
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
6618
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Berlin Heidelberg
eBook ISBN
978-3-642-22303-7
DOI
10.1007/978-3-642-22303-7
Softcover ISBN
978-3-642-22302-0
Edition Number
1
Number of Pages
XIV, 360
Topics