@inproceedings{ccba25237a1449e889e3883402d05043,
title = "Unless and until: A compositional analysis",
abstract = "The analyses of unless and until lie at the intersection of logic and linguistics. They crop up in papers about tense connectives [1], quantification [15], anaphora [7], polarity and duality [17,18] and in classical theorems of tense logic [10]. Unless and until are morphologically similar, and in some contexts, they even appear to be {\textquoteleft}interchangeable{\textquoteright}. In this paper we give compositional analyses showing the interrelatedness of these two connectives. In addition, we use this case study to draw some broader methodological points. The locus classicus on the logic of unless is Quine{\textquoteright}s Elementary Logic [20] where he sets forth three methodological dogmas. We dub these Quine{\textquoteright}s Three Dogmas of Linguistic Negativism and argue that these three dogmas not only give a misleading account of the interplay between logic and linguistics but that rejecting them leads to discovering a unified compositional analysis.",
keywords = "Modal tense operators, Punctual and durative until, Quantifier restriction, Quine{\textquoteright}s dogmas, Unless, Until",
author = "Gary Mar and Yuliya Manyakina and Amanda Caffary",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2015.; 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013 ; Conference date: 23-09-2013 Through 27-09-2013",
year = "2015",
doi = "10.1007/978-3-662-46906-4\_12",
language = "English",
isbn = "9783662469057",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "190--209",
editor = "Martin Aher and Daniel Hole and Emil Jerabek and Clemens Kupke",
booktitle = "Logic, Language, and Computation - 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Revised Selected Papers",
}