- (1 other version)A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.details
|
|
(1 other version)A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.details
|
|
Types, Tableaus, and Gödel’s God.Melvin Chris Fitting - 2002 - Dordrecht, Boston and London: Kluwer Academic Publishers.details
|
|
(1 other version)Hauptsatz for Higher Order Logic.Dag Prawitz - 1974 - Journal of Symbolic Logic 39 (3):607-607.details
|
|
The Liar: An Essay on Truth and Circularity.Vann McGee - 1991 - Philosophical Review 100 (3):472.details
|
|
The Liar: An Essay on Truth and Circularity.Jon Barwise & John Etchemendy - 1987 - Oxford, England and New York, NY, USA: Oxford University Press USA. Edited by John Etchemendy.details
|
|
Quantification and Syntactic Theory.R. Cooper & Roger Cooper - 1983 - Dordrecht: Reidel.details
|
|
Types, Tableaus, and Gödel’s God.Roderic A. Girle - 2002 - Springer Verlag.details
|
|
(1 other version)The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.details
|
|
(2 other versions)Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.details
|
|
(1 other version)The proper treatment of quantification in ordinary English.Richard Montague - 1973 - In Patrick Suppes, Julius Moravcsik & Jaakko Hintikka (eds.), Approaches to Natural Language. Dordrecht. pp. 221--242.details
|
|
(2 other versions)Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.details
|
|
Truth and other enigmas.Michael Dummett - 1978 - Cambridge: Harvard University Press.details
|
|
A classically-based theory of impossible worlds.Edward N. Zalta - 1997 - Notre Dame Journal of Formal Logic 38 (4):640-660.details
|
|
General semantics.David K. Lewis - 1970 - Synthese 22 (1-2):18--67.details
|
|
Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.details
|
|
A theory of properties.Ray Turner - 1987 - Journal of Symbolic Logic 52 (2):455-472.details
|
|
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.details
|
|
Intensional logics and logical truth.M. J. Cresswell - 1972 - Journal of Philosophical Logic 1 (1):2 - 15.details
|
|
Resolution in type theory.Peter B. Andrews - 1971 - Journal of Symbolic Logic 36 (3):414-432.details
|
|
(1 other version)Truth.Michael Dummett - 1959 - Proceedings of the Aristotelian Society 59 (1):141-62.details
|
|
Universal grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.details
|
|
(2 other versions)Truth and Other Enigmas.Michael Dummett - 1980 - Revue Philosophique de la France Et de l'Etranger 170 (1):62-65.details
|
|
(2 other versions)Truth and Other Enigmas.Michael Dummett - 1978 - Philosophical Quarterly 31 (122):47-67.details
|
|
(1 other version)Higher-Order Semantics and Extensionality.Christoph Benzmüller, Chad E. Brown & Michael Kohlhase - 2004 - Journal of Symbolic Logic 69 (4):1027 - 1088.details
|
|
Information and Impossibilities.Jon Barwise - 1997 - Notre Dame Journal of Formal Logic 38 (4):488-515.details
|
|
A logical calculus of meaning and synonymy.Yiannis Nicholas Moschovakis - 2006 - Linguistics and Philosophy 29:27-89.details
|
|
Semantics and property theory.Gennaro Chierchia & Raymond Turner - 1988 - Linguistics and Philosophy 11 (3):261 - 302.details
|
|
Structured meanings.M. J. Cresswell - 1985 - MIT Press.details
|
|
Impossible possible worlds vindicated.Jaakko Hintikka - 1975 - Journal of Philosophical Logic 4 (4):475 - 484.details
|
|
(1 other version)The Liar. An Essay in Truth and Circularity.Jon Barwise & John Etchemendy - 1989 - Mind 98 (391):451-453.details
|
|
A Logic Programming Language with Lambda-abstraction, Function Variables, and Simple Unification.Dale Miller - 1991 - LFCS, Department of Computer Science, University of Edinburgh.details
|
|
Melvin Fitting, Types Tableaus and Gödel's God. [REVIEW]Melvin Fitting - 2005 - Studia Logica 81 (3):425-427.details
|
|
Knowledge of Meaning.Richard Larson & Gabriel Segal - 2000 - Mind 109 (436):960-964.details
|
|
(1 other version)Higher-order semantics and extensionality.Christoph Benzmüller, Chad E. Brown & Michael Kohlhase - 2004 - Journal of Symbolic Logic 69 (4):1027-1088.details
|
|
The Foundations of Frege’s Logic.Pavel Tichý - 1988 - New York: de Gruyter.details
|
|
Quantified modal logic: Non-normal worlds and propositional attitudes.Veikko Rantala - 1982 - Studia Logica 41 (1):41 - 65.details
|
|
(1 other version)Hauptsatz for higher order logic.Dag Prawitz - 1968 - Journal of Symbolic Logic 33 (3):452-457.details
|
|
Hyperfine-grained meanings in classical logic.Reinhard Muskens - 1991 - Logique Et Analyse 133:159-176.details
|
|
A model theory for propositional attitudes.Richmond H. Thomason - 1980 - Linguistics and Philosophy 4 (1):47 - 70.details
|
|
The Foundations of Frege's Logic.Gregor K. Frey - 1993 - Noûs 27 (4):532-535.details
|
|
A Higher-Order Fine-Grained Logic for Intensional Semantics.Shalom Lappin, C. Fox & C. Pollard - unknowndetails
|
|
(1 other version)The Liar, An Essay in Truth and Circularity.Jon Barwise & John Etchemendy - 1989 - Revue Philosophique de la France Et de l'Etranger 179 (1):108-108.details
|
|