/ /

Schedule contributed talks

Detailed Schedule for Contributed Talks

Monday
	Session Language (La1)	Session Logic & Computation (Lo & Co)1
14.00-14.30	Kata Balogh LTAG semantics for issues around focusing	Paula Henk An Arithmetical Accessibility Relation
14.30-15.00	Ralf Naumann and Wiebke Petersen A Formalization of Frame Theory in Dependence Logic using (explicit) Strategies	Philippe Balbiani and Levan Uridia Completeness of Modal Logic Interpreted over Iterated Cantor Bendixon derivative operators
15.00-15.30	Matthijs Westera Exhaustivity through the maxim of relation	Katsuhiko Sano and Minghui Ma Altenative Semantics for Visser's Basic Propositional Logic
	Session Language (La2)	Session Logic & Computation (Lo & Co)2
16.00-16.30	Liana Lortkipanidze, Marina Beridze and David Nadaraia Dialect dictionaries and morphological annotation in the Georgian Dialect Corpus	Virginie Fiutek DDL from the perspective of DEL
16.30-17.00	Albert Ortmann Uniqueness and possession: Typological evidence for type shifts in nominal determination	Vladimír Svoboda Breaking the curse of deontic logic
17.00-17.30	Paul Meurer Morphosyntactic annotation of the Georgian National Corpus – The diacronic dimension	Dominik Klein and Eric Pacuit Levels of Knowledge and Belief
Thursday
	Session Language (La3)	Session Logic & Computation (Lo & Co)3
10.15-1045	Rusudan Asatiani The Functional-Semantic Analysis of the Laz Verbal Vowel Prefixes	Sam van Gool and Dion Coumans Universal models for intuitionistic logic and its fragments: a duality based approach
10.45-11.15	Camilo Thorne and Jakub Szymanik Generalized Quantifier Distribution and Semantic Complexity	Dick de Jongh and Zhiguang Zhao Positive Formulas, Minimal Logic and Uniform Interpolation
	Session Language (La4)	Session Logic & Computation (Lo & Co)4
14.00-14.30	Gary Mar, Yuliya Manyakina and Amanda Caffary Unless and Until: A Compositional Analysis	Emil Jeřábek Complexity of unification and admissibility with parameters in transitive modal logics
14.30-15.00	Kerstin Schwabe On the licensing of argument conditionals	Jeroen Goudsmit A Syntactic Characterisation of the Gabbay–de Jongh Logics
15.00-15.30	Isidora Stojanovic Quantifier domain restrictions and cross-contextual assessments of truth value	Philippe Balbiani and Cigdem Gencer Admissibility and unifiability in contact logic
	Session Language (La5)	Session Logic & Computation (Lo & Co)5
16.00-16.30	Martin Aher Searching for solutions	Ayşe Bölük, İlayda Ateş and Çiğdem Gencer On Models of the Modal Logic KD45-O
16.30-17.00	Jeroen Groenendijk and Floris Roelofsen Suppositional inquisitive semantics	Johannes Werner and Thomas Studer Censors for Boolean Description Logic
17.00-17.30	Martin Aher and Jeroen Groenendijk Searching for directions	Marta Bilkova A coalgebraic logic for preordered coalgebras
Friday
	Session Language (La6)	Session Logic & Computation (Lo & Co)6
14.00-14.30	Maria Spychalska Pragmatic effects in processing superlative and comparative quantifiers: the role of clausal implicatures	Mikheil Rukhaia, Cvetan Dunchev, Alexander Leitsch and Daniel Weller A Method Overcoming Induction During Cut-elimination
14.30-15.00	Maarten Janssen Inline Contraction Decomposition. Language Independent POS Tagging in the CorpusWiki project	Stefan Hetzl, Tomer Libal, Martin Riener and Mikheil Rukhaia Understanding Resolution Proofs through Herbrand's Theorem
15.00-15.30	Natia Dundua, Lela Samushia and Armin Hoenen A Parallel Corpus of the Old Georgian Gospel Manuscripts and their Stemmatology	Vit Puncochar Intensionalisation of logical operators
	Session Logic & Computation (La)	Session Logic & Computation (Lo & Co)7
16.00-16.30	Hana Filip and Yulia Zinova Predicting the Grammatical Aspect Category in Russian	Ondrej Majer Strategic Games over Lukasiewicz Logic
16.30-17.00		Sicco Pier Van Gosliga and Frans Groen Estimating the Impact of Variables in Bayesian Belief Networks
17.00-17.30

[General programme grid]