TbiLLC 2019: Thirteenth International Tbilisi Symposium on Language, Logic and Computation


Accepted papers in language track


Peter Sutton and Carol-Rose Little. The Finnish partitive in counting and measuring constructions

Carla Umbach and Umut Ozge. Scalar and non-scalar comparison across categories: The case of Turkish equatives

Kristina Liefke. Reasoning with an (Experiential) Attitude: inference relations between same-type attitude reports

Malte Zimmermann, Lea Fricke and Edgar Onea. Embedded Questions are exhaustive, alright, but...

Curt Anderson. Predicate-modifier asymmetries and the syntax-semantics interface

Sonia Ramotowska, Shane Steinert-Threlkeld, Leendert Van Maanen and Jakub Szymanik. Most, but not more than half, is proportion-dependent and sensitive to individual differences

Ralf Naumann and Wiebke Petersen. Modelling the retrieval-integration model with frames

Kristina Liefke and Markus Werning. Single-Type Semantics and Depiction Reports

Oleg Kapanadze, Thomas Hanneforth and Gideon Kotzé. Applying Computer Technologies to the Georgian Language: From a TreeBank to a Syntactic Parser

Peter Sutton and Hana Filip. Informational Object Nouns and the mass/count distinction

Duygu Özge and Ebru Evcen. Referential form, word order and emotional valence in Turkish pronoun resolution

Carol-Rose Little. The interpretation of bare nouns in Ch'ol (Mayan)

Nino Amiridze, Anna Chutkerashvili, Besik Dundua and Irina Temnikova. Towards a Georgian Controlled Language in Crisis Management

Micky Daniels. Utility-based Scale in the Semantics of our even

Yulia Zinova. Prefixation in context: What does it mean if you change the norm?

Swantje Tönnis. It is not the obvious question that a cleft addresses

Rusudan Asatiani. An Algorithm Defining the Choice of Verbal Vowel Prefixes in the Kartvelian Linguistic Space


Nino Amiridze. Borrowing vocative truncation rule from Russian: Pattern borrowing in Georgian-Russian language contact

Alassane Kiemtoré. Contrast and Logophoricity: reflections on the use of the emphatic pronoun ale in Jula

Daniel Hole and Katherine Fraser. Syntax and semantics of the swarm alternation

Daniel Hole and Sebastian Padó. Distributional Analysis of Function Words

Accepted papers in Logic-Computation track


David Gabelaia, Mamuka Jibladze, Levan Uridia and Evgeny Kuznetsov. Flat polygonal logics in d-semantics

Bahareh Afshari and Graham Leigh. Direct interpolation for modal mu-calculus

Sam Adam-Day, Nick Bezhanishvili, David Gabelaia and Vincenzo Marra. Polyhedral semantics for intermediate logics

Anotnio Di Nola, Giacomo Lenzi and Luca Spada. An algebraic study of Łukasiewicz logic with hedges

Matthias Baaz and Anela Lolic. Towards a Proof Theory for Henkin Quantifiers

Temur Kutsia and Cleo Pau. Matching and Generalization Modulo Proximity and Tolerance

Juergen Landes, Soroush Rafiee Rad and Jon Williamson. The Entropy-Limit Conjecture for Π1-Constraints on Predicate Languages

Sara Negri and Edi Pavlovic. Sequent Calculi for Logics of Agency: theDeliberative STIT

Lex Hendriks and Dick De Jongh. On Negation based on a class of absurdities

Nenad Savic, Dragan Doder, Zoran Ognjanovic and Thomas Studer. Incomplete Information and Justifications

Dick de Jongh and Fatemeh Shirmohammadzadeh Maleki. Subintuitionistic Logics with Linear Models

Saul Fernandez Gonzalez, Alexandru Baltag and Nick Bezhanishvili. Topological Evidence Logics: Multi-Agent Setting


Gianluca Grilletti and Davide Quadrellaro. Lattices of Intermediate Theories via Ruitenburg Theorem


Ondrej Majer, Dominik Klein and Soroush Rafiee Rad. Non-classical probabilities in four valued framework

Stergios Chatzikyriakidis and Zhaohui Luo. Gradability in MTT-semantics

Vakhtang Abashidze. Johnstone-Gleason covers for partially ordered sets

Jean-Philippe Bernardy, Rasmus Blanck and Aleksandre Maskharashvili. A Logic with Measurable Spaces for Natural Language Semantics

Konstantine Razmadze. Analysis of the multi-modal logics for modal maps

Mikheil Rukhaia, Besik Dundua and Temur Kutsia. Unranked Nominal Unification

Philippe Balbiani and Levan Uridia. Iterated structures are not modaly definable

Phillipe Balbiani, Çiğdem Gencer and Zafer Özdemir. Modal logics with a restricted universal modality