Logic, Language, and Computation

10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

  • Martin Aher
  • Daniel Hole
  • Emil Jeřábek
  • Clemens Kupke
Conference proceedings TbiLLC 2013

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 8984)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Rosalie Iemhoff
    Pages 10-17
  3. Philippe Balbiani, Çiğdem Gencer
    Pages 44-60
  4. Marina Beridze, Liana Lortkipanidze, David Nadaraia
    Pages 82-96
  5. Nick Bezhanishvili, Dion Coumans, Samuel J. van Gool, Dick de Jongh
    Pages 97-116
  6. Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller
    Pages 117-136
  7. Jeroen Groenendijk, Floris Roelofsen
    Pages 137-156
  8. Dick de Jongh, Zhiguang Zhao
    Pages 175-189
  9. Gary Mar, Yuliya Manyakina, Amanda Caffary
    Pages 190-209
  10. Ralf Naumann, Wiebke Petersen
    Pages 210-233
  11. Katsuhiko Sano, Minghui Ma
    Pages 257-275
  12. Galit W. Sassoon
    Pages 276-289
  13. Kerstin Schwabe
    Pages 290-309
  14. Yulia Zinova, Hana Filip
    Pages 310-332
  15. Back Matter
    Pages 333-333

About these proceedings


This book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013. The conference series is centered around the interaction between logic, language, and computation. The contributions represent these three fields, and the symposia aim to foster interaction between them. 

The book consists of 16 papers that were carefully reviewed and selected from 26 submissions. Each paper has passed through a rigorous peer-review process before being accepted for publication. The volume also contains two summaries of the tutorials that took place at the symposium: the one on admissible rules and the one on the formal semantics of aspectual meaning from a cross-linguistic perspective.


Admissible rules Algebraic logic Computer science applications Contextual semantics Corpus linguistics Formal semantics Grade semantics Inquisitive semantics Intuitionistic logic Language typology Modal logic Natural language semantics Proof theory Semantic frames Theory of computation

Editors and affiliations

  • Martin Aher
    • 1
  • Daniel Hole
    • 2
  • Emil Jeřábek
    • 3
  • Clemens Kupke
    • 4
  1. 1.University of TartuTartuEstonia
  2. 2.Universität StuttgartStuttgartGermany
  3. 3.Institute of Mathematics, AS CRPragueCzech Republic
  4. 4.University of StrathclydeGlasgowUnited Kingdom

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-46905-7
  • Online ISBN 978-3-662-46906-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences