default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTbiLLC 2009: Bakuriani, Georgia
- Nick Bezhanishvili
, Sebastian Löbner, Kerstin Schwabe, Luca Spada:
Logic, Language, and Computation - 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers. Lecture Notes in Computer Science 6618, Springer 2011, ISBN 978-3-642-22302-0
Logic and Computation
- Lev D. Beklemishev:
Ordinal Completeness of Bimodal Provability Logic GLB. 1-15 - Guram Bezhanishvili, Leo Esakia, David Gabelaia:
Spectral and T0-Spaces in d-Semantics. 16-29 - Marta Bílková:
A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi. 30-45 - Leo Esakia:
A Modal Transcription of the Hausdorff Residue. 46-52 - Dick de Jongh, Fan Yang:
Jankov's Theorems for Intermediate Logics in the Setting of Universal Models. 53-76 - Mai Gehrke, Jacob Vosmaer:
A View of Canonical Extension. 77-100 - Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Dragisa Zunic:
Intuitionistic Sequent-Style Calculus with Explicit Structural Rules. 101-124 - Patrick de Oude, Frans C. A. Groen, Gregor Pavlin:
Efficient Design and Inference in Distributed Bayesian Networks: An Overview. 125-144 - Michal Pelis, Ondrej Majer:
Logic of Questions and Public Announcements. 145-157 - Levan Uridia:
Boolean Modal Logic wK4Dyn - Doxastic Interpretation. 158-169
Language
- Rusudan Asatiani:
Functional Analysis of Contrasting Conjunctions in Georgian. 170-181 - Anton Benz, Fabienne Salfner:
Discourse Relations and Relevance Implicatures: A Case Study. 182-196 - Claudia Casadio, Mehrnoosh Sadrzadeh:
Clitic Movement in Pregroup Grammar: A Cross-Linguistic Approach. 197-214 - Anna Chutkerashvili:
The Functions of the Particles mxolod and mart'o in Georgian. 215-222 - Sabine Gründer:
Aspectual Shifts With and Without Type Conflict. 223-239 - Marine Ivanishvili, Ether Soselia:
Preverbs in Megrelian. 240-248 - Pauline Jacobson:
The Syntax/Semantics Interface: Compositionality Issues. 249-270 - Paul Meurer:
A Finite State Approach to Abkhaz Morphology and Stress. 271-282 - Maria Spychalska:
From Inference to Meaning: Experimental Study on Reasoning with Quantifiers Some and Most. 283-300 - Lucia M. Tovena:
The Imperfect Measure of Internally Plural Events. 301-321 - Grégoire Winterstein:
The Meaning of the Additive Too: Presupposition and Discourse Similarity. 322-341 - Henk Zeevat:
Bayesian NL Interpretation and Learning. 342-359
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
