Skip to main content
  • Conference proceedings
  • © 2019

Language, Logic, and Computation

12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): TbiLLC: International Tbilisi Symposium on Logic, Language, and Computation

Conference proceedings info: TbiLLC 2017.

Buy it now

Buying options

Softcover Book USD 54.99
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

Table of contents (18 papers)

  1. Front Matter

    Pages i-xiii
  2. Compounds or Phrases? Pattern Borrowing from English into Georgian

    • Nino Amiridze, Rusudan Asatiani, Zurab Baratashvili
    Pages 1-20
  3. A Study of Subminimal Logics of Negation and Their Modal Companions

    • Nick Bezhanishvili, Almudena Colacito, Dick de Jongh
    Pages 21-41
  4. Finite Identification with Positive and with Complete Data

    • Dick de Jongh, Ana Lucia Vargas-Sandoval
    Pages 42-63
  5. Two Neighborhood Semantics for Subintuitionistic Logics

    • Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki
    Pages 64-85
  6. Bare Nouns and the Hungarian Mass/Count Distinction

    • Kurt Erbach, Peter R. Sutton, Hana Filip
    Pages 86-107
  7. An Axiomatization of the d-logic of Planar Polygons

    • David Gabelaia, Kristina Gogoladze, Mamuka Jibladze, Evgeny Kuznetsov, Levan Uridia
    Pages 147-165
  8. An Ehrenfeucht-Fraïssé Game for Inquisitive First-Order Logic

    • Gianluca Grilletti, Ivano Ciardelli
    Pages 166-186
  9. Language as Mechanisms for Interaction: Towards an Evolutionary Tale

    • Ruth Kempson, Eleni Gregoromichelaki, Christine Howes
    Pages 209-227
  10. Bridging Inferences in a Dynamic Frame Theory

    • Ralf Naumann, Wiebke Petersen
    Pages 228-252
  11. Misfits: On Unexpected German Ob-Predicates

    • Kerstin Schwabe
    Pages 253-274
  12. Spectra of Gödel Algebras

    • Diego Valota
    Pages 297-311
  13. Correction to: Finite Identification with Positive and with Complete Data

    • Dick de Jongh, Ana Lucia Vargas-Sandoval
    Pages C1-C1
  14. Back Matter

    Pages 353-353

Other Volumes

  1. Language, Logic, and Computation

About this book

This book constitutes the refereed proceedings of the 12th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2017, held in Lagodekhi, Georgia, in September 2017.


The volume contains 17 full revised papers presented at the conference from 22 submissions.  The aim of this conference series is to bring together researchers from a wide variety of fields in Natural language syntax, Linguistic typology, Language evolution, Logics for artificial intelligence and much more. 

Editors and Affiliations

  • Department of Computer Science, University College London, London, UK

    Alexandra Silva

  • Department of Computer Science, University of Oxford, Oxford, UK

    Sam Staton

  • Department of Linguistics, Heinrich Heine University Düsseldorf, Düsseldorf, Germany

    Peter Sutton

  • Leibniz-Zentrum Allgemeine Sprachwissenschaft, Berlin, Germany

    Carla Umbach

Bibliographic Information

  • Book Title: Language, Logic, and Computation

  • Book Subtitle: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

  • Editors: Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-662-59565-7

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag GmbH Germany, part of Springer Nature 2019

  • Softcover ISBN: 978-3-662-59564-0Published: 04 July 2019

  • eBook ISBN: 978-3-662-59565-7Published: 03 July 2019

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 353

  • Number of Illustrations: 289 b/w illustrations, 6 illustrations in colour

  • Topics: Mathematical Logic and Formal Languages, Logic in AI, Probability and Statistics in Computer Science

Buy it now

Buying options

Softcover Book USD 54.99
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