Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Logic, Language, and Computation

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Martin Aher

    1. University of Tartu, Tartu, Estonia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Daniel Hole

    1. Universität Stuttgart, Stuttgart, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Emil Jeřábek

    1. Institute of Mathematics, AS CR, Prague, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Clemens Kupke

    1. University of Strathclyde, Glasgow, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Conference tracks proceedings
  • Interaction between logic, language and computation
  • Includes supplementary material: sn.pub/extras

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

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

Included in the following conference series:

Conference proceedings info: TbiLLC 2013.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Research on Aspect: Reflections and New Frontiers

    • Daniel Altshuler
    Pages 1-9

  3. Tutorial on Admissible Rules in Gudauri

    • Rosalie Iemhoff
    Pages 10-17

  4. Deontic Conflicts and Multiple Violations

    • Martin Aher
    Pages 18-43

  5. Admissibility and Unifiability in Contact Logics

    • Philippe Balbiani, Çiğdem Gencer
    Pages 44-60

  6. F-LTAG Semantics for Issues Around Focusing

    • Kata Balogh
    Pages 61-81

  7. Dialect Dictionaries in the Georgian Dialect Corpus

    • Marina Beridze, Liana Lortkipanidze, David Nadaraia
    Pages 82-96

  8. Duality and Universal Models for the Meet-Implication Fragment of IPC

    • Nick Bezhanishvili, Dion Coumans, Samuel J. van Gool, Dick de Jongh
    Pages 97-116

  9. Cut-Elimination and Proof Schemata

    • Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller
    Pages 117-136

  10. Towards a Suppositional Inquisitive Semantics

    • Jeroen Groenendijk, Floris Roelofsen
    Pages 137-156

  11. Kripke Models Built from Models of Arithmetic

    • Paula Henk
    Pages 157-174

  12. Positive Formulas in Intuitionistic and Minimal Logic

    • Dick de Jongh, Zhiguang Zhao
    Pages 175-189

  13. Unless and Until: A Compositional Analysis

    • Gary Mar, Yuliya Manyakina, Amanda Caffary
    Pages 190-209

  14. Frame Theory, Dependence Logic and Strategies

    • Ralf Naumann, Wiebke Petersen
    Pages 210-233

  15. Uniqueness and Possession: Typological Evidence for Type Shifts in Nominal Determination

    • Albert Ortmann
    Pages 234-256

  16. Alternative Semantics for Visser’s Propositional Logics

    • Katsuhiko Sano, Minghui Ma
    Pages 257-275

  17. Between-Noun Comparisons

    • Galit W. Sassoon
    Pages 276-289

  18. On the Licensing of Argument Conditionals

    • Kerstin Schwabe
    Pages 290-309

  19. Biaspectual Verbs: A Marginal Category?

    • Yulia Zinova, Hana Filip
    Pages 310-332

  20. Back Matter

    Pages 333-333
    Download chapter PDF
Back to top

Other volumes

  1. Logic, Language, and Computation

Keywords

About this book

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.

Editors and Affiliations

  • University of Tartu, Tartu, Estonia

    Martin Aher

  • Universität Stuttgart, Stuttgart, Germany

    Daniel Hole

  • Institute of Mathematics, AS CR, Prague, Czech Republic

    Emil Jeřábek

  • University of Strathclyde, Glasgow, United Kingdom

    Clemens Kupke

Bibliographic Information

  • Book Title: Logic, Language, and Computation

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

  • Editors: Martin Aher, Daniel Hole, Emil Jeřábek, Clemens Kupke

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-662-46906-4

  • Publisher: Springer Berlin, Heidelberg

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

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2015

  • Softcover ISBN: 978-3-662-46905-7Published: 19 May 2015

  • eBook ISBN: 978-3-662-46906-4Published: 04 May 2015

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 333

  • Number of Illustrations: 47 b/w illustrations

  • Topics: Artificial Intelligence, Mathematical Logic and Formal Languages, Natural Language Processing (NLP)

Publish with us

Policies and ethics

Back to top

Search

Navigation