TbiLLC 2017: Twelfth International Tbilisi Symposium
on Language, Logic and Computation


TbiLLC2017 Accepted Papers

Below is a list of all accepted papers.


  • Nino Amiridze, Rusudan Asatiani and Zurab Baratashvili. Loan verb typology and Georgian-English language contact
  • Curt Anderson and Sebastian Löbner. Roles and the lexical semantics of role-denoting relational adjectives
  • Philippe Balbiani and Mikhail Rybakov. An axiomatization of iteration-free PDL with loop
  • Philippe  Balbiani and Jie Fan. About Euclidean strong non-contingency
  • Nick Bezhanishvili, Almudena Colacito and Dick de Jongh. A lattice of subminimal logics of negation
  • M. Inés  Corbalán. Binding Domains for Anaphors
  • Dick de Jongh and Ana Lucia Vargas Sandoval. Finite Identification with positive and with complete data
  • Dick de Jongh and Fateme Shirmohammadzadeh Maleki. Two Neighborhood Semantics for Subintuitionistic Logics
  • Kurt Erbach, Hana Filip and Peter Sutton. Hungarian measure phrases, bare singular nouns, and mass/count distinction
  • Katherine Fraser. Exploring the multi-dimensional meaning of extra arguments in English
  • David Gabelaia, Kristina Gogoladze, Mamuka Jibladze, Evgeny Kuznetsov and Levan Uridia. Axiomatization of the d-logic of Planar Polygons
  • Thomas Gamerschlag, Jens Fleischhauer and Wiebke Petersen. Why event structure templates are not enough – A frame account of bleeding and droning
  • Kristina Gogoladze and Alexandru Baltag. Evidence-Based Belief Revision for Non-Omniscient Agents
  • Yael  Greenberg and Lavi Wolf. Assertions as degree relations
  • Gianluca Grilletti and Ivano Ciardelli. An Ehrenfeucht-Fraïssé Game for Inquisitive First-Order Logic
  • Justyna Grudzinska and Marek Zawadowski. Inverse Linking without LF-Movement: A Dependent Type Account
  • Tobias Heindel. The Chomsky-Schützenberger Theorem for PROPs of acyclic circuits up to 4D isotopy
  • Nino  Javashvili. Derivation Models According to Otar Tchiladze Text Corpus
  • Lia  Kurtanidze and Mikheil Rukhaia. Tableaux Calculus for Unranked Logics
  • Stepan Kuznetsov, Valentina Lugovaya and Anastasiia Ryzhova. Recursive enumerability doesn't always give a decidable axiomatization
  • Evgeny  Kuznetsov. Properties of Local Homeomorphisms of Logical Spaces
  • Carol-Rose Little. Cardinal/ordinal meaning ambiguities in possessed numeral constructions in Ch'ol
  • Irina Lobzhanidze. Computational Model of Modern Georgian Language and Searching Patterns for On-line Dictionary of Idioms
  • Sebastian Loebner. Cascades of action levels and the decomposition of action verb meanings
  • Ondrej  Majer. Belief Aggregation for Non-standard Reasoners
  • Gary  Mar. A Brief History of the Logic of Time
  • Ralf Naumann and Thomas Gamerschlag. Serial verb constructions and covert coordinations in Edo - An analysis in a dynamic frame theory
  • Ralf Naumann and Wiebke Petersen. Bridging inferences in a dynamic, probabilistic frame theory
  • Olga Nevzorova and Vladimir Nevzorov. Ontology-Driven Computational Processing for Unstructured Text
  • Sumiyo  Nishiguchi. Liberalism and Bouletic/Deontic Modality
  • Konstantine  Razmadze. Bi-modal Logics of Mappings
  • Andres Soria  Ruiz. Comparative Evaluative Judgments
  • Kerstin Schwabe. The uniform representation of German embedded polar interrogatives, a typology of their embedding predicates and adaptors
  • Giuli Shabashvili. Syntactic Realization of Present Perfect Forms in Georgian
  • Shane  Steinert-Threlkeld. Uniform Definability in Assertability Semantics
  • Peter  Sutton. Vagueness as a product of an effective learning strategy
  • Carla Umbach and Stefan Hinterwimmer. German 'wie'-complements: manners, methods and events in progress
  • Diego Valota. Computing Spectra of Finite Goedel Algebras through Finite Forests
  • Henk  Zeevat. From Experience to Meaning through Semantic Memory
  • Dan Zeman. Some Solutions to the Perspectival Plurality Problem for Relativism
  • Yulia Zinova. Explaining meaning: The interplay of syntax, semantics, and pragmatics