uva.nl

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

Accepted Contributions

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