First Page | Document Content | |
---|---|---|
Date: 2013-07-01 13:00:24Semantics Modal logic Interval Logic Pragmatics Presupposition | An Interval-Based Semantics for Degree Questions: Negative Islands and Their Obviation Márta Abrusán and Benjamin Spector Institut Jean-Nicod (CNRS, Paris) and Harvard University IntroductionAdd to Reading ListSource URL: www.lingref.comDownload Document from Source WebsiteFile Size: 615,65 KBShare Document on Facebook |
SMT Workshop’07 5th International Workshop on Satisfiability Modulo Theories (Previously called PDPAR: Pragmatics of Decision Procedures in Automated Reasoning) Affiliated with CAV’07 Berlin, Germany, 1-2 July 2007DocID: 1xTbI - View Document | |
PDF DocumentDocID: 1xJUY - View Document | |
PDF DocumentDocID: 1xjVF - View Document | |
PDF DocumentDocID: 1wpgO - View Document | |
PDF DocumentDocID: 1w59k - View Document |