Skip to main content
SpringerLink
Log in

Language, Logic, and Computation

13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Aybüke Özgün

    1. University of Amsterdam, Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Yulia Zinova

    1. Heinrich Heine University Düsseldorf, Düsseldorf, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: TbiLLC 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 84.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

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. Language and Logic

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Final-Vowel Truncation in the Forms of Address in Modern Spoken Georgian

      • Nino Amiridze
      Pages 3-25

    3. Tutorial: Sign Language Linguistics

      • Fabian Bross
      Pages 26-37

    4. Gradability in MTT-Semantics

      • Stergios Chatzikyriakidis, Zhaohui Luo
      Pages 38-59

    5. Building Resources for Georgian Treebanking-Based NLP

      • Oleg Kapanadze, Gideon Kotzé, Thomas Hanneforth
      Pages 60-78

    6. Bridging the Gap Between Formal Semantics and Neurolinguistics: The Case of the N400 and the LPP

      • Ralf Naumann, Wiebke Petersen
      Pages 79-112

    7. Distributional Analysis of Polysemous Function Words

      • Sebastian Padó, Daniel Hole
      Pages 113-127

    8. It is not the Obvious Question that a Cleft Addresses

      • Swantje Tönnis
      Pages 128-147

    9. Extensions in Compositional Semantics

      • Thomas Ede Zimmermann
      Pages 148-172

    10. Embedded Questions are Exhaustive Alright, but…

      • Malte Zimmermann, Lea Fricke, Edgar Onea
      Pages 173-194

  3. Logic and Computation

    1. Front Matter

      Pages 195-195
      Download chapter PDF

    2. Lyndon Interpolation for Modal \(\mu \)-Calculus

      • Bahareh Afshari, Graham E. Leigh
      Pages 197-213

    3. Decidable and Undecidable Problems for First-Order Definability and Modal Definability

      • Philippe Balbiani, Tinko Tinchev
      Pages 214-236

    4. Topological Evidence Logics: Multi-agent Setting

      • Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González
      Pages 237-257

    5. Incomplete Information and Justifications

      • Dragan Doder, Zoran Ognjanović, Nenad Savić, Thomas Studer
      Pages 258-278

    6. Unranked Nominal Unification

      • Besik Dundua, Temur Kutsia, Mikheil Rukhaia
      Pages 279-296

    7. Lattices of Intermediate Theories via Ruitenburg’s Theorem

      • Gianluca Grilletti, Davide Emilio Quadrellaro
      Pages 297-322

    8. Matching and Generalization Modulo Proximity and Tolerance Relations

      • Temur Kutsia, Cleo Pau
      Pages 323-342

    9. From Paradox to Truth

      • Graham E. Leigh
      Pages 343-353
Back to top

Other volumes

  1. Language, Logic, and Computation

Keywords

About this book

This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019. 

The volume contains 17 full revised papers presented at the conference from 17  submissions.   The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops.

The symposium offered two tutorials in language and logic and aimed at students

as well as researchers working in the other areas:

·         Language: Sign language linguistics. State of the art, by Fabian Bross (University of Stuttgart, Germany)

·         Logic: Axiomatic Semantics, by Graham E. Leigh (University of Gothenburg,

Sweden)

Editors and Affiliations

  • University of Amsterdam, Amsterdam, The Netherlands

    Aybüke Özgün

  • Heinrich Heine University Düsseldorf, Düsseldorf, Germany

    Yulia Zinova

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation