- Classicism.Andrew Bacon & Cian Dorr - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press. pp. 109-190.details
|
|
Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.details
|
|
Categorial grammar and discourse representation theory.Reinhard Muskens - 1994 - In Yorick Wilks (ed.), Proceedings of COLING 94. Kyoto: pp. 508-514.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
|
|
On the proper treatment of opacity in certain verbs.Thomas Ede Zimmermann - 1993 - Natural Language Semantics 2 (1):149-179.details
|
|
A hybrid categorial approach to question composition.Yimei Xiang - 2020 - Linguistics and Philosophy 44 (3):587-647.details
|
|
Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic.Sean Walsh - 2016 - Journal of Philosophical Logic 45 (3):277-326.details
|
|
Temporal prepositional phrases with quantifiers: Some additions to Pratt and Francez (2001). [REVIEW]Arnim von Stechow - 2002 - Linguistics and Philosophy 25 (5-6):755-800.details
|
|
Against LF Pied-Piping.Arnim von Stechow - 1996 - Natural Language Semantics 4 (1):57-110.details
|
|
Agnostic hyperintensional semantics.Carl Pollard - 2015 - Synthese 192 (3):535-562.details
|
|
Doing Worlds with Words: Formal Semantics Without Formal Metaphysics.Jaroslav Peregrin - 1995 - Dordrecht, Netherland: Springer.details
|
|
Combining Montague semantics and discourse representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.details
|
|
A relational formulation of the theory of types.Reinhard Muskens - 1989 - Linguistics and Philosophy 12 (3):325 - 346.details
|
|
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 logical calculus of meaning and synonymy.Yiannis Nicholas Moschovakis - 2006 - Linguistics and Philosophy 29:27-89.details
|
|
General terms, rigidity and the trivialization problem.Genoveva Martí & José Martínez-Fernández - 2011 - Synthese 181 (2):277 - 293.details
|
|
Common nouns as modally non-rigid restricted variables.Peter Lasersohn - 2020 - Linguistics and Philosophy 44 (2):363-424.details
|
|
Quantum sortal predicates.Décio Krause & Steven French - 2007 - Synthese 154 (3):417 - 430.details
|
|
Looking backwards in type logic.Jan Köpping & Thomas Ede Zimmermann - 2021 - Inquiry: An Interdisciplinary Journal of Philosophy 64 (5-6):646-672.details
|
|
Second-order abstract categorial grammars as hyperedge replacement grammars.Makoto Kanazawa - 2010 - Journal of Logic, Language and Information 19 (2):137-161.details
|
|
Formal philosophy.Jeffry Pelletier - 1977 - Metaphilosophy 8 (4):320-341.details
|
|
Logical investigations on ptq arising from programming requirements.Theo M. V. Janssen - 1980 - Synthese 44 (3):361 - 390.details
|
|
Serious Actualism and Higher-Order Predication.Bruno Jacinto - 2019 - Journal of Philosophical Logic 48 (3):471-499.details
|
|
Toward a modal-structural interpretation of set theory.Geoffrey Hellman - 1990 - Synthese 84 (3):409 - 443.details
|
|
On gödel's ontological proof.A. P. Hazen - 1998 - Australasian Journal of Philosophy 76 (3):361 – 377.details
|
|
A note on the gifted mathematician that you claim to be.Alexander Grosu & Manfred Krifka - 2022 - Linguistics and Philosophy 45 (6):1227-1233.details
|
|
Semantics and truth relative to a world.Michael Glanzberg - 2009 - Synthese 166 (2):281-307.details
|
|
Propositional Quantification in Bimodal S5.Peter Fritz - 2020 - Erkenntnis 85 (2):455-465.details
|
|
Higher-Order Contingentism, Part 1: Closure and Generation.Peter Fritz & Jeremy Goodman - 2016 - Journal of Philosophical Logic 45 (6):645-695.details
|
|
Closed Structure.Peter Fritz, Harvey Lederman & Gabriel Uzquiano - 2021 - Journal of Philosophical Logic 50 (6):1249-1291.details
|
|
Can modalities save naive set theory?Peter Fritz, Harvey Lederman, Tiankai Liu & Dana Scott - 2018 - Review of Symbolic Logic 11 (1):21-47.details
|
|
Type-theoretic logic with an operational account of intensionality.Shalom Lappin & Chris Fox - 2015 - Synthese 192 (3):563-584.details
|
|
Outlook-based semantics.Elizabeth Coppock - 2018 - Linguistics and Philosophy 41 (2):125-164.details
|
|
Predication versus membership in the distinction between logic as language and logic as calculus.Nino Cocchiarella - 1988 - Synthese 77 (1):37 - 72.details
|
|
Origins of weak crossover: when dynamic semantics meets event semantics.Gennaro Chierchia - 2020 - Natural Language Semantics 28 (1):23-76.details
|
|
Quantified structures as barriers for LF movement.Sigrid Beck - 1996 - Natural Language Semantics 4 (1):1-56.details
|
|
A Partial Account of Presupposition Projection.David Beaver & Emiel Krahmer - 2001 - Journal of Logic, Language and Information 10 (2):147-182.details
|
|
A partial account of presupposition projection.David Beaver & Emiel Krahmer - 2001 - Journal of Logic, Language and Information 10 (2):147-182.details
|
|
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.details
|
|
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2014 - Journal of Philosophical Logic 43 (2-3):209-238.details
|
|
Extending Montague's system: A three valued intensional logic.E. H. Alves & J. A. D. Guerzoni - 1990 - Studia Logica 49 (1):127 - 132.details
|
|
Innocent exclusion in an Alternative Semantics.Luis Alonso-Ovalle - 2008 - Natural Language Semantics 16 (2):115-128.details
|
|
Counterfactuals, correlatives, and disjunction.Luis Alonso-Ovalle - 2009 - Linguistics and Philosophy 32 (2):207-244.details
|
|
Úvod do teoretické sémantiky.Jaroslav Peregrin - manuscriptdetails
|
|
Type-Logical Semantics.Reinhard Muskens - 2011 - Routledge Encyclopedia of Philosophy Online.details
|
|
Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Montague semantics.Theo M. V. Janssen - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Intensional logic.Melvin Fitting - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
On the proper treatment of tense.Arnim von Stechow - unknowndetails
|
|
Possible Worlds Semantics and the Liar.Sten Lindström - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 297--314.details
|
|