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