| Monday |
| |
Session Language (La1) |
Session Logic (Lo1) |
| 14.00-14.30 |
Rusudan Asatiani
Typological Peculiarities of the Georgian Passive and the Information Structure
|
Philip Kremer
Strong completeness of S4 wrt any dense-in-itself metric space
|
| 14.30-15.00 |
Umut Ozge
Turkish Accusative Indefinites and Presuppositionality
|
Okan Açıksöz and Tahsin Öner
On the Expressivity of Dynamic Topological Logics
|
15.00-15.30
|
George Chikoidze, Nino Javashvili and Nino Amirezashvili
Georgian “Ancestors” of the logical implication
|
Levan Uridia
Nonmonotonic Logics in Topology
|
|
Session Language (La2)
|
Session Logic (Lo2)
|
16.00-16.30
|
Margot Colinet
The French indefinite pronoun 'quoi que ce soit' and the notion of entropy
|
Özgüç Güven
Are there 'Bolzanian Roots' of Frege?
|
16.30-17.00
|
Yael Greenberg and Keren Khrizman
Bixlal: A general strengthening operator in Hebrew
|
Nazli Inonu
Abduction and Its Uses
|
17.00-17.30
|
Jeroen Groenendijk and Floris Roelofsen
Algebraic foundations for inquisitive semantics
|
Georgy Bronnikov
Dynamic sentential doxastic logic
|
Thursday
|
|
Session Language (La3)
|
Session Logic (Lo3)
|
14.00-14.30
|
Bjorn Jespersen and Giuseppe Primiero
Alleged assassins: realist and constructivist semantics for modal modification
|
Dirk Pattinson and Luigi Santocanale
How to Cover without Lifting Relations
|
| 14.30-15.00 |
Paul Meurer
Constructing a large annotated corpus for Georgian – Tools and resources
|
Oliver Fasching
Extension of Gödel logics by unary operators with real-valued semantics
|
15.00-15.30
|
Liana Lortkipanidze and Marina Beridze
The issue of Morphological Annotation of the Georgian Dialect Corpus
|
Ramaz Liparteliani and Phridon Alshibaia
MV-algebras with constant elements
|
| |
Session Language (La4) |
Session Computaion/Logic (Co1/Lo4) |
| 16.00-16.30 |
Anton Benz and Fabienne Salfner
Discourse Structuring Questions and Scalar Implicatures
|
Pavel Braslavski and Vadim Kantorov Automatically Assessing Content Quality in Community Question Answering Sites: a Work-in-Progress
|
16.30-17.00
|
Nino Nijaradze
Synonymy of Syntactic Structures
|
Johannes Ebbing, Peter Lohmann and Fan Yang
Model Checking for Modal Intuitionistic Dependence Logic
|
| 17.00-17.30 |
Sumiyo Nishiguchi
CCG for Discourse
|
Samuel Bucheli, Roman Kuznets and Thomas Studer
Decidability for Justification Logics Revisited
|
Friday
|
| |
Session Language (La5) |
Session Computation (Co2)
|
| 14.00-14.30 |
James Kilbury, Katina Bontcheva, Natalia Mamerow and Younes Samih
Historical-Comparative Reconstruction in Finite-State Technology
|
Mikheil Rukhaia
CERES and Fast Cut-elimination
|
14.30-15.00
|
Zakharia Pourtskhvanidze
Pragmatic Word Order and Particle “ḳi” in Georgian
|
Avtandil Arabuli, Gia Shervashidze, Eter Soselia, Marine Ivanishvili and Rusudan Asatiani
Thesaurus of the Georgian Language
|
| 15.00-15.30 |
Kerstin Schwabe
Propositional correlates and matrix predicates in German
|
Stanislav Kikot, Roman Kontchakov and Michael Zakharyaschev A note on Ontology-Based Data Access
|
