Logic, Language, and Computation  10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers /  [electronic resource] : 
edited by Martin Aher, Daniel Hole, Emil Jeřábek, Clemens Kupke. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2015. 
 - 1 online resource (XIV, 333 p. 47 ill.) 
 - Lecture Notes in Computer Science,  8984  0302-9743 ; .
<br/><br/>Research on aspect: Reflections and new frontiers -- Tutorial on admissible rules in Gudauri -- Deontic conflicts and multiple violations -- Admissibility and unifiability in contact logics -- F-LTAG Semantics for issues around focusing -- The dialect dictionaries for representativeness and morphological annotation in Georgian dialect corpus -- Duality and universal models for the meet-implication fragment of IPC -- Cut-elimination and proof schemata -- Towards a suppositional in-quisitive semantics -- models built from models of arithmetic -- Positive formulas in intuitionistic and minimal logic -- Unless and until: A compositional analysis -- Frame theory, dependence logic and strategies -- Uniqueness and possession: Typological evidence for type shifts in nominal determination -- Alternative semantics for Visser's propositional logics -- Between-noun comparisons -- On the licensing of argument conditionals -- Biaspectual Verbs: A marginal category?. 
<br/><br/><label>ISBN: </label>9783662469064 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Mathematical logic.<br/>Artificial intelligence.<br/>Computational linguistics.