P john It takes a property as input, and yields a proposition, its type is (? ? o) ? o ,
Definite and Indefinite, Encyclopedia of Language & Linguistics, pp.28-257, 2006. ,
DOI : 10.1016/B0-08-044854-2/01089-0
Reference (Oxford Surveys in Semantics and Pragmatics), p.54 ,
Givenness marking, p.241, 1985. ,
Accessing noun-phrase antecedents. Routledge London, p.241, 1990. ,
Accessibility theory: An overview Text representation: Linguistic and psycholinguistic aspects, pp.29-87, 2001. ,
Reference to abstract objects in discourse, pp.78-236, 1993. ,
DOI : 10.1007/978-94-011-1715-9
A montagovian treatment of modal subordination, 20th Semantics and Linguistic Theory conference-SALT2010, 2011a. (cited on page ,
URL : https://hal.archives-ouvertes.fr/inria-00565616
SDRT and Continuation Semantics, In New Frontiers in Artificial Intelligence, vol.15, issue.2, pp.3-15 ,
DOI : 10.1017/S0959269505002073
URL : https://hal.archives-ouvertes.fr/inria-00565744
Subordinating and coordinating discourse relations, Lingua, vol.115, issue.4, pp.591-610, 2005. ,
DOI : 10.1016/j.lingua.2003.09.017
URL : http://doi.org/10.1016/j.lingua.2003.09.017
Binding Theory, Encyclopedia of Language & Linguistics, p.36, 2006. ,
DOI : 10.1016/B0-08-044854-2/01955-6
Anaphora and Semantic Structure, p.33, 1980. ,
DOI : 10.1002/9780470751305.ch6
The lambda calculus, p.59, 1984. ,
Lambda calculus with types, p.59, 2013. ,
DOI : 10.1017/CBO9781139032636
Continuations and the nature of quantification Natural language semantics, pp.211-242, 2002. ,
Continuations in natural language, CW, vol.4, pp.1-11, 2004. ,
DOI : 10.1093/acprof:oso/9780199575015.001.0001
Binding Theory. Cambridge Textbooks in Linguistics, 2005. ,
Meaning postulates, Philosophical Studies, vol.2, issue.5, pp.65-73, 1952. ,
DOI : 10.1007/BF02350366
Dynamics of meaning: Anaphora, presupposition, and the theory of grammar, pp.76-259, 1995. ,
DOI : 10.7208/chicago/9780226104515.001.0001
Syntactic Structures, pp.13-255, 1957. ,
DOI : 10.1515/9783110218329
Lectures on government and binding. Dordrecht: Foris, pp.36-38, 1981. ,
Knowledge of language: Its nature, origins, and use, pp.36-39, 1986. ,
The minimalist program, p.36, 1995. ,
DOI : 10.7551/mitpress/9780262527347.001.0001
A formulation of the simple theory of types. The journal of symbolic logic, pp.56-68, 1940. ,
Equal Treatment for All Antecedents: How Children Succeed with Principle B, Linguistic Inquiry, vol.8, issue.3, pp.446-486, 2009. ,
DOI : 10.1016/S0010-0277(99)00032-3
Montague's Semantic Theory and Transformational Grammar, p.116, 1975. ,
Anaphora, discourse and understanding. evidence from english and french, Recherche, vol.67, pp.2-33, 1999. ,
Lexical-Functional Grammar, p.39, 2001. ,
DOI : 10.1002/0470018860.s00222
URL : http://www.sciencedirect.com/science?_ob=ShoppingCartURL&_method=add&_eid=3-s2.0-B0080448542020435&originContentFamily=nonserial&_origin=article&_ts=1487832916&md5=1642c2dd5b6635d7dca002596ea34d5d
Theories of Meaning and Learnable Languages, Proceedings of the International Congress for Logic, Methodology, and Philosophy of Science, pp.3-17, 1965. ,
DOI : 10.1093/0199246297.003.0001
Truth and meaning, Synthese, vol.17, issue.1, pp.304-323, 1967. ,
DOI : 10.1007/BF00485035
Towards abstract categorial grammars, Proceedings of the 39th Annual Meeting on Association for Computational Linguistics , ACL '01, pp.252-259, 2001. ,
DOI : 10.3115/1073012.1073045
URL : https://hal.archives-ouvertes.fr/inria-00100529
Towards a montagovian account of dynamics, Proceedings of SALT, pp.1-16, 2006. ,
Yet another dynamic logic, p.93, 2007. ,
Presupposition accommodation as exception handling, Proceedings of the 11th Annual Meeting of the Special Interest Group on Discourse and Dialogue, pp.71-74, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00572852
Reference and definite descriptions. The philosophical review, pp.281-304, 1966. ,
Introduction to Montague semantics, p.42, 1981. ,
DOI : 10.1007/978-94-009-9065-4
What is a theory of meaning? In Mind and Language, p.42, 1975. ,
The semantics of noun phrase anaphora, pp.238-259, 1992. ,
Specificity and scope, Langues et Grammaire 1. Citeseer, p.114, 1994. ,
Specificity distinctions, Journal of Semantics, vol.19, issue.116, pp.213-243, 2002. ,
What is a drs? Integrating Semantic Theories II, p.79, 1994. ,
First-order logic and automated theorem proving, p.43, 1996. ,
The metaphysics of modality, 1985. ,
Context dependence in modal constructions, pp.262-263, 1997. ,
eine der arithmetischen nachgebildete formelsprache des reinen denkens. halle a. s.: Louis nebert. translation: Concept script, a formal language of pure thought modelled upon that of arithmetic, by s. bauer-mengelberg. VAN HEIJENOORT. From Frege to Gödel: a Source Book in Mathematical Logic, pp.1879-1921, 1931. ,
Translations from the Philosophical Writings of Gottlob Frege, p.42 ,
Linguistics: An introduction to linguistic theory, 2000. ,
Intensional Logic and Logical Grammar, Logic, Language, and Meaning, p.58, 1991. ,
Identifying and resolving one-anaphora. Unpublished Honours thesis, p.27, 2003. ,
Reference and generality: An examination of some medieval and modern theories, pp.31-74, 1962. ,
Book review. Communicating quantities. Linda M Moxey and Anthony J Sanford, Journal of Semantics, vol.14, issue.1, pp.87-94, 1997. ,
DOI : 10.1093/jos/14.1.87
Presuppositions and pronouns, pp.88-259, 1999. ,
Donkey business, Linguistics and Philosophy, vol.25, issue.2, pp.129-156, 2002. ,
DOI : 10.1023/A:1014624331450
Anaphora, accessibility and bridging. Handbook of Semantics, forthcoming, pp.24-256, 2009. ,
Accessibility and anaphora Semantics: an international handbook of natural language meaning, pp.1988-2011 ,
Discourse representation theory The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, pp.94305-4115, 2011. ,
Collectivity and distributivity internal to english noun phrases, Language Sciences, vol.18, issue.1, pp.443-468, 1996. ,
Proofs and types, p.59, 1989. ,
Dynamic predicate logic, Linguistics and Philosophy, vol.12, issue.1, pp.39-100, 1991. ,
DOI : 10.1007/BF00628304
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.2292
Attention, intentions, and the structure of discourse, Computational linguistics, vol.12, issue.3, pp.175-204, 1986. ,
Pronouns without explicit antecedents: how do we know when a pronoun is referential Anaphora processing: linguistic , cognitive and computational modelling, pp.351-364, 2005. ,
Aspects of modality, p.182, 2006. ,
Cohesion in English. Longman, pp.15-73, 1976. ,
Dynamic logic, Handbook of Philosophical Logic, pp.497-604, 1984. ,
What's new? acquiring new information as a process in comprehension, Journal of verbal learning and verbal behavior, vol.13, issue.5, pp.512-521, 1974. ,
Definiteness and indefiniteness: a study in reference and grammaticality prediction, p.33, 1978. ,
The semantics of definite and indefinite noun phrases, pp.75-77, 1982. ,
File change semantics and the familiarity theory of definiteness. Formal Semantics, pp.223-248, 1983. ,
Definiteness and indefiniteness Semantics: An international handbook of natural language and meaning, pp.996-1024, 2011. ,
Semantics in Generative Grammar, Blackwell, p.39, 1998. ,
Modality as referential multiplicity, Eripainos Ajatus. WSOY, p.54, 1957. ,
Modality and Quantification, Theoria, vol.27, issue.3, pp.119-128, 1961. ,
DOI : 10.1111/j.1755-2567.1961.tb00020.x
Negation in logic and in natural language, Linguistics and Philosophy, vol.25, issue.5/6, pp.585-600, 2002. ,
DOI : 10.1023/A:1020895229197
Anaphora in Natural Language Understanding: A Survey, volume 119 of Lecture Notes in Computer Science, pp.29-30, 1981. ,
On the coherence and structure of discourse. CSLI, p.236, 1985. ,
Propositional modal logic, Massachusetts Institute of Technology, pp.54-258, 2004. ,
A note on the binding theory, Linguistic Inquiry, pp.554-561, 1983. ,
Discourse anaphora: Four theoretical models, Journal of Pragmatics, vol.32, issue.2, pp.151-176, 2000. ,
DOI : 10.1016/S0378-2166(99)00041-7
The Cambridge Grammar of English, pp.29-30, 2002. ,
Semantic interpretation in generative grammar, p.39, 1972. ,
Essentials of English Grammar, George Allan & Unwin Ltd, p.128, 1933. ,
A theory of truth and semantic representation. Formal Semantics, pp.189-222, 1981. ,
Presupposition Computation and Presupposition Justification: One Aspect of the Interpretation of Multi-Sentence Discourse, Semantic and Pragmatic Issues in Discourse and Dialogue: Experimenting with Current Dynamic Theories, pp.57-84, 2000. ,
DOI : 10.1163/9789004252882_018
From discourse to logic: introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory. Part 1. From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Kluwer Academic, pp.138-238, 1993. ,
Discourse representation theory. Handbook of philosophical logic, pp.125-394, 2011. ,
DOI : 10.1007/978-94-007-0485-5_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.218.6621
Weak vs. strong readings of donkey sentences and monotonicity inference in a dynamic setting, Linguistics and Philosophy, vol.13, issue.2, pp.109-158, 1994. ,
DOI : 10.1007/BF00984775
Discourse referents, Proceedings of the 1969 conference on Computational linguistics, pp.1-38, 1969. ,
DOI : 10.3115/990403.990490
Implicative verbs. Language, pp.340-358, 1971. ,
DOI : 10.2307/412084
Formal approaches to modality. The expression of modality, pp.71-106, 2006. ,
Accessing discourse referents introduced in negated phrases: Evidence for accommodation? Pragmatics and Beyond New Series, pp.159-128, 2008. ,
Dynamically structuring, updating and interrelating representations of visual and linguistic discourse context, Artificial Intelligence, vol.167, issue.1-2, pp.62-102, 2005. ,
DOI : 10.1016/j.artint.2005.04.008
Nested cooper storage: The proper treatment of quantification in ordinary noun phrases, p.116, 1988. ,
Dynamics of epistemic modality and anaphora, International workshop on computational semantics, pp.121-130, 1994. ,
Anaphora: Philosophical aspects, Encyclopedia of Language & Linguistics, p.22, 2006. ,
The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Center for the Study of Language and Information, 94305-4115, pp.32-257, 2013. ,
Introduction to Metamathematics, p.43, 1952. ,
Compositionality: The Very Idea, Research on Language and Computation, vol.17, issue.3, pp.287-308, 2007. ,
DOI : 10.1007/s11168-007-9031-5
Negation and Disjunction in Discourse Representation Theory, Journal of Semantics, vol.12, issue.4, pp.357-376, 1995. ,
DOI : 10.1093/jos/12.4.357
Varieties of anaphora. Introduction, dies.(Hg.), Varieties of Anaphora. Reader ESSLLI, pp.1-15, 2000. ,
What ?must? and ?can? must and can mean, Linguistics and Philosophy, vol.1, issue.3, pp.337-355, 1977. ,
DOI : 10.1007/BF00353453
The notional category of modality. Words, worlds, and contexts, pp.38-74, 0196. ,
Semantics, pp.639-650, 1991. ,
DOI : 10.1007/978-0-387-79948-3_4703
Diskursrepräsentation und dynamische interpretation, pp.262-263, 2001. ,
A completeness theorem in modal logic, Journal of Symbolic Logic, pp.1-14, 1959. ,
Semantical analysis of modal logic i normal modal propositional calculi, Mathematical Logic Quarterly, vol.9, pp.5-667, 1963. ,
The mathematics of sentence structure American mathematical monthly, pp.154-170, 1958. ,
Pronouns and quantifier-scope in English, Journal of Philosophical Logic, vol.12, issue.3, pp.327-358, 1983. ,
DOI : 10.1007/BF00263482
Expression de la dynamique du discours à l'aide de continuations, pp.9-215, 2012. ,
URL : https://hal.archives-ouvertes.fr/tel-00783245
Essais de théodicée sur la bonté de Dieu, la liberté de l'homme et l'origine du mal, Eichler, vol.1, pp.1840-54 ,
Theodicy: Essays on the Goodness of God, the Freedom of Man And the Origin of Evil. Lightning Source Incorporated, p.54, 2006. ,
Individuation by acquaintance and by stipulation. The Philosophical Review, pp.3-32, 1983. ,
On the plurality of worlds, p.54, 1986. ,
A Greek-English Lexicon: A New Edition Revised and Augmented Throughout by Sir Henry Stuart Jones, with the Assistance of Roderick McKenzie. 2 Vols, 1940. ,
Discourse pegs: a computational analysis of context-dependent referring expressions, pp.31-257, 1991. ,
Relational propositions in discourse, Discourse processes, pp.57-90, 1986. ,
Anaphora resolution: The state of the art. Unpublished Manuscript, p.40, 1999. ,
DOI : 10.1093/oxfordhb/9780199276349.013.0014
English as a formal language Linguaggi nella societae nella tecnica, pp.189-224, 1970. ,
Universal grammar, Theoria, vol.26, issue.3, pp.373-398, 1970. ,
DOI : 10.1111/j.1755-2567.1970.tb00434.x
The proper treatment of quantification in ordinary english, Approaches to Natural Language, pp.221-242, 1973. ,
Formal Philosophy: Selected papers of Richard Montague, p.42, 1974. ,
Combining Montague semantics and discourse representation, Linguistics and Philosophy, vol.12, issue.2, pp.143-186, 1996. ,
DOI : 10.1007/BF00635836
Complement Anaphora and Interpretation, Journal of Semantics, vol.20, issue.1, pp.73-113, 2003. ,
DOI : 10.1093/jos/20.1.73
URL : http://jos.oxfordjournals.org/cgi/content/short/20/1/73
Plural Pronominal Anaphora in Context: Dynamic Aspects of Quantification . LOT international series. LOT, 2003b. ISBN 9789076864457. URL http://books.google.fr/books?id=T2EcAQAAIAAJ, pp.32-262 ,
Lecture 5: Introduction to issues in anaphora Russian State University for the Humanities, pp.35-256, 2008. ,
Opacity, coreference, and pronouns, Semantics of natural language, pp.415-441, 1973. ,
Bound variables and other anaphors, Proceedings of the 1978 workshop on Theoretical issues in natural language processing, pp.79-85, 1978. ,
Computational models of anaphora resolution: A survey. Linguistic Issues in Language Technology, pp.24-40, 2011. ,
A formal model of the structure of discourse, Journal of Pragmatics, vol.12, issue.5-6, pp.601-638, 1988. ,
DOI : 10.1016/0378-2166(88)90050-1
Head-driven phrase structure grammar, p.39, 1994. ,
Anaphoric islands, Chicago Linguistic Society, pp.205-239, 1969. ,
Semantical consideration on floyo-hoare logic, Foundations of Computer Science 17th Annual Symposium on, pp.109-121, 1976. ,
The ZPG Letter, pp.295-325, 1992. ,
DOI : 10.1075/pbns.16.12pri
Event in Compositional Dynamic Semantics, Logical Aspects of Computational Linguistics, pp.219-234, 2011. ,
DOI : 10.1007/978-3-642-22221-4_15
URL : https://hal.archives-ouvertes.fr/hal-00601620
Accessibility for Plurals in Continuation Semantics, In New Frontiers in Artificial Intelligence, pp.53-68 ,
DOI : 10.1007/978-3-642-39931-2_5
URL : https://hal.archives-ouvertes.fr/hal-00762203
Quantifiers and Propositional Attitudes, The Journal of Philosophy, vol.53, issue.5, pp.177-187, 1956. ,
DOI : 10.2307/2022451
A comprehensive grammar of the English language, p.25, 1985. ,
Coreference and bound anaphora: A restatement of the anaphora questions, Linguistics and Philosophy, vol.8, issue.1, pp.47-88, 1983. ,
DOI : 10.1007/BF00868090
Anaphora and semantic interpretation, p.36, 1984. ,
The MIT encyclopedia of the cognitive sciences, p.22, 1999. ,
Modal subordination, anaphora, and distributivity, p.135, 0190. ,
DOI : 10.1007/bf00632602
Modal subordination and pronominal anaphora in discourse, Linguistics and Philosophy, vol.7, issue.6, pp.683-721, 1989. ,
DOI : 10.1007/BF00632602
Introduction to Combinators and ?-calculus, CUP Archive, vol.1, p.59, 1986. ,
On denoting, pp.14479-493, 1905. ,
Introduction to Mathematical Philosophy. Spokesman Books, p.73, 2008. ,
Language: An Introduction to the Study of Speech, p.11, 1921. ,
DOI : 10.1017/CBO9781139629430
Epistemic modality and natural language, p.190, 2011. ,
Restrictive and non-restrictive modification Center for the Study of Language and Information, p.263, 1985. ,
The Logic of Language: Language From Within, p.75, 2009. ,
DOI : 10.1093/acprof:oso/9780199559480.001.0001
Delimited continuations in natural language: Quantification and polarity sensitivity. arXiv preprint cs/0404006, p.93, 2004. ,
Disjunction and anaphora, Proceedings of SALT, pp.245-260, 1996. ,
First-Order Logic, p.43, 1968. ,
DOI : 10.1201/b10689-23
Truth, meaning, and understanding, Philosophical Studies, vol.65, issue.1-2, pp.17-35, 1992. ,
DOI : 10.1007/BF00571314
Kratzer on modality in natural language, pp.181-261 ,
Reference to possible worlds, 1999. ,
Continuations: A mathematical semantics for handling full jumps, Programming Research Group (Oxford), pp.71-93, 1974. ,
On referring. Mind, pp.59320-344, 1950. ,
The Semantic Conception of Truth: and the Foundations of Semantics, Philosophy and Phenomenological Research, vol.4, issue.3, pp.341-376, 1944. ,
DOI : 10.2307/2102968
The concept of truth in formalized languages. Logic, semantics, metamathematics, pp.152-278, 1956. ,
Essays in logical semantics. Number 29 in Studies in linguistics and philosophy, p.67, 1986. ,
The semantics of variety in categorial grammar. Categorial grammar, pp.37-55, 1988. ,
Towards a Generalization of Anaphora, Journal of Semantics, vol.9, issue.1, pp.27-51, 1992. ,
DOI : 10.1093/jos/9.1.27
Presupposition projection as anaphora resolution, Journal of semantics, vol.9, issue.4, pp.333-377, 1992. ,
Representing discourse in context. Handbook of logic and language, pp.179-237, 1997. ,
A modal analysis of presupposition and modal subordination, Journal of Semantics, vol.22, issue.3, pp.281-305, 2005. ,
Merging without mystery or: Variables in dynamics semantics, Journal of Philosophical Logic, vol.24, issue.4, pp.405-450, 1995. ,
Modality and language Encyclopedia of philosophy -second edition, pp.181-258, 2006. ,
Intensional semantics. University Lecture, Massachusetts Institute of Technology, p.188, 2011. ,
Specificity and Definiteness in Sentence and Discourse Structure, Journal of Semantics, vol.19, issue.3, pp.245-274, 2002. ,
DOI : 10.1093/jos/19.3.245
A formal approach to discourse anaphora In Outstanding dissertations in linguistics, p.30, 1979. ,
Cataphora ? Wikipedia, the free encyclopedia, 2014. URL http://en. wikipedia.org/wiki/Cataphora, pp.25-256 ,
Knowledge and its Limits, p.188, 2002. ,
DOI : 10.1093/019925656X.001.0001
A compositional approach to discourse representation theory, Linguistics and Philosophy, vol.36, issue.1, pp.95-131, 1989. ,
DOI : 10.1007/BF00627399