- A relational formulation of the theory of types.Reinhard Muskens - 1989 - Linguistics and Philosophy 12 (3):325 - 346.details
|
|
Propositional Quantification in Bimodal S5.Peter Fritz - 2020 - Erkenntnis 85 (2):455-465.details
|
|
Quantified structures as barriers for LF movement.Sigrid Beck - 1996 - Natural Language Semantics 4 (1):1-56.details
|
|
Montague semantics.Theo M. V. Janssen - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
1 introduction.Jean Mark Gawron - unknowndetails
|
|
Intension, extension, and the model of belief and knowledge in economics.Ivan Moscati - 2012 - Erasmus Journal for Philosophy and Economics 5 (2):1.details
|
|
A Partial Account of Presupposition Projection.David Beaver & Emiel Krahmer - 2001 - Journal of Logic, Language and Information 10 (2):147-182.details
|
|
On gödel's ontological proof.A. P. Hazen - 1998 - Australasian Journal of Philosophy 76 (3):361 – 377.details
|
|
Type-theoretic logic with an operational account of intensionality.Shalom Lappin & Chris Fox - 2015 - Synthese 192 (3):563-584.details
|
|
Origins of weak crossover: when dynamic semantics meets event semantics.Gennaro Chierchia - 2020 - Natural Language Semantics 28 (1):23-76.details
|
|
Semantic innocence and substitutivity.Paul Egré - 2007 - In María José Frápolli (ed.), Saying, meaning and referring: essays on François Recanati's philosophy of language. New York: Palgrave-Macmillan.details
|
|
Logic, Language, and Computation: 6th International Tbilisi Symposium on Logic, Language, and Computation, Tbillc 2005, Batumi, Georgia, September 12-16, 2005. Revised Selected Papers.Balder D. ten Cate (ed.) - 2007 - Berlin and Heidelberg: Springer.details
|
|
Hyperfine-grained meanings in classical logic.Reinhard Muskens - 1991 - Logique Et Analyse 133:159-176.details
|
|