Below is the list of abstracts accepted for presentation sorted by first author's lastname.

Accepted Abstracts

• Dato Abashidze, Rusudan Asatiani and Natalia Gagarina. Effect of order of mention and grammatical role on pronoun resolution in Georgian. [abstract]
• Rodrigo Nicolau Almeida. The Goldblatt Translation Revisited. [abstract]
• Nino Amiridze. From meta- to object-level reading of the Georgian approximative suffix '-savit'. [abstract]
• Arseny Anisimov and Daria Sidorkina. Between methods and theories – Experimental evidence on semantics of Russian number. [abstract]
• Rusudan Asatiani. An Algorithm Defining the Choices of Case Shift and Verb Concord Patterns in Georgian. [abstract]
• Matthias Baaz and Anela Lolic. First-Order Interpolation Derived from Propositional Interpolation. [abstract]
• Abhista Partal Balasubramaniam and Nina Gierasimczuk. Logical Explanations for Neural Networks assisted by Neuroevolution. [abstract]
• Marta Bilkova and Igor Sedlar. Epistemic Logics of Structured Intensional Groups. [abstract]
• Marina Bolea, Peter R. Sutton and Louise McNally. Modification strategies for discriminating among referents in the presence of distractors: An analysis of large-scale production data. [abstract]
• Alex Citkin. On Splittings in Lattices of Quasivarieties. [abstract]
• Marco Degano. A team semantics for FC indefinites and their grammaticalization. [abstract]
• Cornelia Ebert, Stefan Hinterwimmer, Robin Hörnig and Anna Pia Jordan-Bertinelli. An experimental investigation of the denotation of German masculine nouns. [abstract]
• Michael Yoshitaka Erlewine. Cross-linguistic variation in ordinary vs interrogative disjunctions. [abstract]
• Thomas Ferguson and Vit Puncochar. Intuitionistic and Analytic Implication in Truthmaker Semantics. [abstract]
• Itamar Francez. Markedness and the morphosemantics of binary number. [abstract]
• Xiaoxuan Fu and Zhiguang Zhao. Correspondence Theory for Modal Logic with Counting ML(#). [abstract]
• David Gabelaia, Evgeny Kuznetsov, Radu Casian Mihailescu, Konstantine Razmadze and Levan Uridia. Temporal Logic of Surjective Bounded Morphisms Between Finite Linear Processes. [abstract]
• Yael Greenberg. Another use of (an)other. [abstract]
• Stefan Hinterwimmer and Jesse Harris. The interaction of gender marking and perspective-taking in German. [abstract]
• Raheleh Jalali and Rosalie Iemhoff. The Logic of Quantifier Shifts. [abstract]
• Dick de Jongh and Fatemeh Shirmohammadzadeh Maleki. Implicational Fragments of Some Subintuitionistic Logics. [abstract]
• Olga Kagan and David Erschler. In favor of derivationally early mass/count distinction. [abstract]
• Oleg Kapanadze, Nunu Kapanadze, Bogdan Babych and Natia Putkaradze. Automatic Morphological Analysis and Syntactic Parsing for the Georgian Language. [abstract]
• Daniil Khaitovich. Plan-restricted group STIT logic. [abstract]
• Søren Brinck Knudstorp. Modal Information Logic of Incomparable Fusions. [abstract]
• Martin Kopf, Mohammad Bablli, Maryam Rajestari, Dana Rebar and Remus Gergel. Decomposing Decomposition in Time: a methodological investigation. [abstract]
• Andrey Kudinov. Decidability of Neighborhood Products of Modal Logics. [abstract]
• Temur Kutsia and Cleo Pau. Matching Modulo Proximity Theories. [abstract]
• Evgeny Kuznetsov. Etale Heyting algebras. [abstract]
• Erekle Magradze, Irina Lobzhanidze, Svetlana Berikashvili, Anzor Gozalishvili and Tamar Jalagonia. Syntactic Annotation of Georgian in the UD Schemes. [abstract]
• Ondrej Majer and Igor Sedlar. Weighted Programs and Ethical Planning. [abstract]
• Magdalena Markowska, Adil Soubki, Gary Mar, Seyedabolghasem Mirroshandel, Owen Rambow and Anita Wasilewska. Formal Representation of Common Ground in Dialogue. [abstract]
• Robin Martinot. On Characterizing Semantic Pollution of Proof Systems. [abstract]
• Dean McHugh. Unraveling Sartorio’s Difference-Making Principle. [abstract]
• Brett McLean. Complete representation by partial functions for signatures containing antidomain restriction. [abstract]
• Ana Ozaki. A Theory for AI Computation? [abstract]
• Wiebke Petersen and Katharina Spalek. Hard for humans = hard for machines? An analysis of the WSC data. [abstract]
• Ivo Pezlar. Computational Content of a Generalized Kreisel-Putnam Rule. [abstract]
• Aloïs Rosset. Partially simple graphs form a quasitopos. [abstract]
• Lorenzo Rossi and Caterina Sisti. Variable-hypothetical conditionals. [abstract]
• Stavros Skopeteas. Emergence of VO properties in OV structures: Innovations in Caucasian Urum. [abstract]
• Simon Vonlanthen. Inferential Roles and Truth - Towards Conceptual Foundations for Modest Inferentialism. [abstract]
• Hongkai Yin. Decidability of the Relational Syllogistic with Reordered Predicates. [abstract]
• Henk Zeevat. Explaining Particle Typology in Minimal Bayesian Pragmatics. [abstract]
• Deniz Özyıldız and Tom Roberts. Bad attitudes: Impossible presuppositions and the false belief gap. [abstract]