TbiLLC 2015: Eleventh International Tbilisi Symposium
on Language, Logic and Computation


TbiLLC2015 Accepted Papers

The final programme will be published soon. Below is a list of all accepted papers.

  • Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün and Sonja Smets. The Topology of Full and Weak Belief
  • Anja Goldschmidt, Ekaterina Gabrovska, Thomas Gamerschlag and Wiebke Petersen. Does the rain hit the window playfully? A frame-based analysis of German hit-verbs
  • Carla Umbach. On-the-fly Kind-formation by Similarity
  • Christian Fermüller and Ondrej Majer. Equilibrium Semantics for IF-Logic and Many-Valued Connectives
  • Dawei Jin. Intervention Effects in Why-questions Follow from the Constraints on Topicality
  • Denis I. Saveliev and Nikolay L. Poliakov. On various concepts of ultrafilter extensions of first-order models
  • Dick De Jongh and Ana Lucia Vargas Sandoval. Minimal Negation
  • Dick de Jongh, Apostolos Tzimoulis and Zhiguang Zhao. Morphisms and universal model for positive IPC
  • Diego Valota and Pietro Codara. Towards a Formal Concept Semantics for Godel Logic
  • Elitzur Bar-Asher Siegal and Nora Boneh. What Discursive Datives are: the case of Modern Hebrew
  • Georges Hansoul and Bruno Teheux. Derivational logic of primitive spaces
  • Guram Bezhanishvili, Nick Bezhanishvili and Julia Ilin. Subframization for superintuitionistic logics
  • Hana Filip and Peter Sutton. Countability in probM-TTR
  • Henk Zeevat. Dependency Trees as Semantic Representations
  • Isabelle Roy, Bridget Copley and Lorraine McCune. Measuring syntactic complexity in early child productions: maximal syntactic depth
  • Jack Marley-Payne. Reference and Practical Interests
  • Jeremy Pasquereau. Overt movement of comparative quantifiers in European French
  • Johannes Marti and Riccardo Pinosio. Game Semantics for System P
  • Justyna Grudzinska and Marek Zawadowski. A Puzzle about Long-distance Indefinites and Dependent Type Semantics
  • Kata Balogh. Hungarian preverbal field in complex sentences: towards an MCTAG analysis
  • Lasha Abzianidze. Solving an RTE Task with a Theorem Prover for Natural Language
  • Lea Nash. Structural Source of Georgian Ergative
  • Levan Uridia and Dirk Walther. Completeness by Modal Definitions
  • Liana Lortkipanidze, Nino Amirezashvili, Liana Samsonadze, Anna Chutkerashvili and Nino Javashvili. Syntax Annotation of Georgian Literary Corpus
  • Matthias Baaz and Daniel Weller. On weakened Eigenvariable conditions
  • Mikheil Rukhaia, Gela Chankvetadze and Lia Kurtanidze. Semi-Automated Construction of Proof Schemata
  • Nikolai Poliakov. On the clonal approach to some problems of social choice theory
  • Petr Homola. First-order abduction as enumeration of stable models
  • Poppy Mankowitz. The Anomaly in Bob's Yard: A Response to Shaw's `Anomaly and Quantification'
  • Ralf Naumann and Wiebke Petersen. A probabilistic approach for semantic predictions in natural language processing
  • Richard Zuber. Reflexive and reciprocal determiners
  • Rusudan Asatiani. The Algorithm defining the choice of ‘Active~Passive’ formal models in Georgian
  • Sebastian Löbner. Frame theory with first-order comparators: modeling verbs of change with frames
  • Sergey Davidov. A characterization of invertible algebras linear over a group by formulae of second-order language
  • Xin Sun. Input/Output STIT Logic for Constitutive Norms
  • Zeinab Bakhtiari and Umberto Rivieccio. Bilattice Dynamic Epistemic Logic
  • Zoltan Esik. A Representation Theorem for Stratified Complete Lattices: Extended Abstract