uva.nl

15th Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2025)

Accepted Contributions

  • The First Georgian Textbook 'Dedaena' from a Typological Perspective [abstract] [slides]
    Ivanishvili, Marine; Asatiani, Rusudan*
  • What kind of thing can satisfy a kind-level predicate? [abstract] [slides]
    Ralston, Tom*
  • Event duration and pace in fictional narrative: An experimental study [abstract] [slides]
    Jasinskaja, Katja*
  • The role of similarity in quotation marking [abstract] [slides]
    Umbach, carla*
  • Extending the benchmark for the monotonicity of superlatives [abstract] [slides]
    Fleury, Damien*; Tovena, Lucia
  • Constraining Meaning – Category Theoretic Perspectives in Semantics [abstract] [slides]
    Schmidt, Miriam Sophie*
  • The German discourse particles ruhig and JA [abstract] [slides]
    Frühauf, Felix*
  • Georgian Language Extended Representation with Semantic Networks and Processing Using the Wave Principle [abstract] [slides]
    Archvadze, Natela*; Lortkipanidze, Liana; Pkhovelishvili, Merab
  • File Cards, Discourse Referents and Objects of Belief [abstract] [slides]
    Zeevat, Henk*
  • A Quantitative Verification of Politeness Theory Using Large Language Models from Japanese Dialogue Data [abstract] [slides]
    Takahashi, Tetsuro*; Usami, Mayumi
  • Manners are Low - Processing Ambiguous Adverbials [abstract] [slides]
    Stolterfoht, Britta*
  • Perspective shift in speech and thought event reports: A mixed-quotation analysis of indirect discourse [abstract] [slides]
    Saure, Christopher*; Hinterwimmer, Stefan
  • Prospective particles and expletive negation. [abstract] [slides]
    Gradimondo, Valeria*
  • On Wackenagel’s Clitics in Old Georgian NP [abstract] [slides]
    Gabunia, Tekla*
  • Case marking and grammatical role in pronoun processing in Georgian [abstract] [slides]
    Abashidze, Dato*, Natia Tavadze
  • The shared core of memory predicates is non-novel knowledge [abstract] [slides]
    Rosina, Emil*
  • A Conditional Theory of Permission and Obligation [abstract] [slides]
    McHugh, Dean*; Anisimov, Arseny
  • Just asking questions: How the cloud of uncertainty precipitates conspiracy theories [abstract] [slides]
    Roberts, Tom*
  • All else being equal—Projection as similarity over context sets [abstract] [slides]
    Hofmann, Lisa*
  • Dependent modals [abstract] [slides]
    Nakamura, Takanobu*
  • Close, but different: A data perspective on aspect in Russian and Ukrainian [abstract] [slides]
    Zinova, Yulia*; Stupak, Inna
  • If My Grandmother Had Wheels…: Conceptual Spaces and Counterfactuals [abstract] [slides]
    Coleschi, Giada*
  • Forms of Reclamation and Derogatory Content: In Search of a Unitary Account [abstract] [slides]
    Zeman, Dan*
  • Intensionality of consequence and identity of proofs in Prawitz’s Theory of Grounds [abstract] [slides]
    Piccolomini d'Aragona, Antonio*
  • On a Super-Classical System of Dialetheic Logic [abstract] [slides]
    Hicks, Isaac*
  • Program extraction for computing with higher order compact sets [abstract] [slides]
    Spreen, Dieter*
  • A uniform semantics for connexive and paraconsistent Nelson logics [abstract] [slides]
    Rivieccio, Umberto*
  • Formalization of the Primality Algorithm [abstract] [slides]
    Jalali, Raheleh*, Ondřej Ježil
  • Gödel Logics: On the Elimination of The Absoluteness Operator [abstract] [slides]
    Gamsakhurdia, Mariami*; Baaz, Matthias
  • Buechi Games for the Unguarded Alternation-free mu-Calculus [abstract] [slides]
    Hausmann, Daniel*
  • Regular Heyting algebras and free Heyting extensions of Boolean algebras [abstract] [slides]
    Almeida, Rodrigo*
  • Relevant Epistemic Logic and Knowledge as Belief Based on Correct Evidence [abstract] [slides]
    Sedlár, Igor*
  • A Deep-Inference Sequent Calculus for a Propositional Team Logic [abstract] [slides]
    Anttila, Aleksi*; Iemhoff, Rosalie; Yang, Fan
  • A Unified Approach to the Analysis of the Expressiveness of Team Logics [abstract] [slides]
    Tritschler, Marius*
  • Downward Closed Guarded Team Logics [abstract] [slides]
    Tritschler, Marius*
  • An explicit Kuznetsov-Muravitsky enrichment [abstract] [slides]
    Kuznetsov, Evgeny*; Jibladze, Mamuka
  • Degree of Kripke Incompleteness in NExt(S4t) [abstract] [slides]
    Chen, Qian*
  • Non-commutative Linear Logic variants with sub-context-free complexity [abstract] [slides]
    Nishimiya, Yusaku*; Taniguchi, Masaya
  • On the formalization of ideals of proof [abstract] [slides]
    Martinot, Robin*
  • Craig Interpolation for Logics of Negative Modality via Cut-Free Sequent Calculus [abstract] [slides]
    Toyooka, Masanobu*; Sano, Katsuhiko
  • Admissibility via Stable Canonical Rules [abstract] [slides]
    Takahashi, Tenyo*
  • Observation algebras: Heyting algebra over coherence spaces [abstract] [slides]
    Brunet, Paul*
  • Non-empty beliefs and belief revision using BSML [abstract] [slides]
    Klochowicz, Tomasz*
  • Axiomatization and Decidability of Tense Information Logic [abstract] [slides]
    Franssen, Timo*,  Søren Brinck Knudstorp
  • A Coalgebraic Semantics for Fischer Servi Logic [abstract] [slides]
    Dukic, Sarah*; Almeida, Rodrigo
  • HMS-Style Duality for Residuated Lattices [abstract] [slides]
    Doyle, Josef*
  • A Conservative Extension of Intuitionistic Logic by Epsilon Terms over Lambda Abstraction [abstract] [slides]
    La Rosa, Elio*
  • Expressibility of satisfiability in submodels and extensions, II [abstract] [slides]
    Nikolai L. Poliakov,  Saveliev, Denis*
  • Probabiity in relevant frames. [abstract] [slides]
    Majer, Ondrej*
  • Epistemic logic with counting rules modalities [abstract] [slides]
    Kudinov, Andrey*
  • Group Epistemics, Co-algebraically [abstract] [slides]
    Bilkova, Marta*
  • Difference–restriction algebras with operators [abstract] [slides]
    Borlido, Célia; Kudryavtseva, Ganna; McLean, Brett*
  • Impossibility Results for Associative Modal Logics (or Undecidability in Varieties of Associative BAOs) [abstract] [slides]
    Knudstorp, Søren Brinck*