A Higher-Order Fine-Grained Logic for Intensional Semantics

, &

Abstract

Article

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Modality Without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance.Bartosz Wieckowski - unknown
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.Chris Fox & Shalom Lappin - 2004 - Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.
Intensional and higher-order modal logic: with applications to Montague semantics.Daniel Gallin - 1975 - New York: American Elsevier Pub. Co..
The proper treatment of predication in fine-grained intensional logic.Christopher Menzel - 1993 - Philosophical Perspectives 7:61-87.
Intensional first-order logic with types.Shalom Lappin - unknown
Extending Montague's system: A three valued intensional logic.E. H. Alves & J. A. D. Guerzoni - 1990 - Studia Logica 49 (1):127 - 132.
The modal object calculus and its interpretation.Edward N. Zalta - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279.
Intensional and higher-order modal logic.Daniel Gallin - 1972 - [Berkeley,: [Berkeley.

Analytics

Added to PP
2010-07-26

Downloads
7 (#1,351,854)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Chris Fox
University of Essex

Citations of this work

Sense and the computation of reference.Reinhard Muskens - 2004 - Linguistics and Philosophy 28 (4):473 - 504.
Constructive belief reports.Bartosz Więckowski - 2015 - Synthese 192 (3):603-633.
Rich Situated Attitudes.Kristina Liefke & Mark Bowker - 2017 - Lecture Notes in Computer Science 10247:45-61.
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.Chris Fox & Shalom Lappin - 2004 - Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.

Add more citations

References found in this work

No references found.

Add more references