@incollection {jespersen2013alleged,
	title = {Alleged assassins: realist and constructivist semantics for modal modification},
	booktitle = {Logic, Language, and Computation},
	series = {Lecture Notes in Computer Science},
	volume = {7758},
	year = {2013},
	pages = {94{\textendash}114},
	publisher = {Springer},
	abstract = {<p>Modal modifiers such as Alleged oscillate between being subsective and being privative. If individual a is an alleged assassin (at some parameter of evaluation) then it is an open question whether a is an assassin (at that parameter). Standardly, modal modifiers are negatively defined, in terms of failed inferences or non-intersectivity or non-extensionality. Modal modifiers are in want of a positive definition and a worked-out logical semantics. This paper offers two positive definitions. The realist definition is elaborated within Tich{\'y}s Transparent Intensional Logic (TIL) and builds upon Montagues model-theoretic semantics for adjectives as representing mappings from properties to properties. The constructivist definition is based on an extension of Martin-L{\"o}fs Constructive Type Theory (CTT) so as to accommodate partial verification. We show that, and why, a is an alleged assassin and Allegedly, a is an assassin are equivalent in TIL and synonymous in CTT.</p>},
	doi = {10.1007/978-3-642-36976-6_8},
	author = {Jespersen, Bj{\o}rn and Primiero, Giuseppe}
}
