infinite
发表于 2025-3-30 09:59:32
http://reply.papertrans.cn/67/6653/665253/665253_51.png
minion
发表于 2025-3-30 15:37:05
CI via DTSxistence of anaphoric links between content of these two types, something disallowed by the system of Potts (2005), the original locus of work on these issues. The problem of characterizing this interaction has been considered by a number of authors. This paper proposes a new system for understandin
Servile
发表于 2025-3-30 18:01:43
Formal Analysis of Epistemic Modalities and Conditionals Based on Logic of Belief Structuresible world semantics. In this paper, we propose to interpret epistemic modalities in background of an epistemic state. Our analysis is a meta-linguistic one and we extensively use the proof-theoretic consequence relation. We define, then, a . and introduce a .. We call this framework . (LBS). Then,
DAMN
发表于 2025-3-30 21:54:44
A Type-Logical Account of Quantification in Event Semanticse ., comes from a possibly bad interaction between event existential closure, on the one hand, and quantification, negation, or conjunction, on the other hand. The recent literature provides two solutions to this problem. The first one is due to Champollion [., .], and the second one to Winter and Z
Cpap155
发表于 2025-3-31 03:00:30
http://reply.papertrans.cn/67/6653/665253/665253_55.png
RLS898
发表于 2025-3-31 06:24:37
Resolving Modal Anaphora in Dependent Type Semanticsn dependent type theory. Dependent types provide powerful type structures that have been applied to various discourse phenomena in natural language, yet there has been little attempt to produce an account of modality and its interaction with anaphora from the perspective of dependent type theory. We
弓箭
发表于 2025-3-31 12:12:34
http://reply.papertrans.cn/67/6653/665253/665253_57.png
吞下
发表于 2025-3-31 17:21:33
A Good Intensifierrty ascription. Formally, this translates as applying the predicate . to the saying event available to any utterance. We treat the output of this modification as a Conventional Implicature (rather than at-issue content), which is responsible for its positive polarity behavior. Additionally, we explo
Dorsal
发表于 2025-3-31 19:27:40
Strict Comparison and Weak Necessity: The Case of Epistemic ,o in Mandarin Chineseescribe the empirical properties of epistemic .. The occurrence of epistemic . is restricted only to certain comparative constructions, but forbidden in other degree constructions or non-degree constructions. It cannot appear above or below negation. It has a quantificational force stronger than tha
无节奏
发表于 2025-3-31 23:41:28
Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types recent type-theoretical framework with rich lexical semantics. We also explore the significance of an higher-order type system for gradable predicates and other complex predications, as well as the relevance of a multi-sorted approach to such phenomena. All the while, we will detail the process of