Information States, Attitudes and Dependent Record Types

Abstract

Within the community of researchers applying type theory to natural language there have been proposals to use contexts from type theory to model information states and to use context extension to model information updates. Examples of this are Ranta (1994) and research conducted in the DenK project (e.g. Ahn, 1995, Ahn and Borghuis, 1998).

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Using Dependent Record Types in Clarification Ellipsis.Robin Cooper - unknown
Dynamic generalised quantifiers and hypothetical contexts.Robin Cooper - unknown
Syntactic calculus with dependent types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Austinian truth, attitudes and type theory ∗.Robin Cooper - unknown
Copredication, dynamic generalized quantification and lexical innovation by coercion.Robin Cooper - unknown
Records and record types in semantic theory.Robin Cooper - unknown
Propositions as [Types].Steve Awodey & Andrej Bauer - unknown
The Information Medium.Orlin Vakarelov - 2012 - Philosophy and Technology 25 (1):47-65.
Interpersonal comparisons of well-being, the evaluative attitudes, and type correspondence between mind and brain.JP Sevilla - manuscript
Proceeding in Abstraction. From Concepts to Types and the recent perspective on Information.Giuseppe Primiero - 2009 - History and Philosophy of Logic 30 (3):257-282.
Type Theory and Homotopy.Steve Awodey - unknown
The underdetermination of typings.Jan Westerhoff - 2003 - Erkenntnis 58 (3):379 - 414.
When is deception in research ethical?Nafsika Athanassoulis & James Wilson - 2009 - Clinical Ethics 4 (1):44-49.
Propositional attitudes in fiction.John Zeimbekis - 2004 - British Journal of Aesthetics 44 (3):261-276.
Intentionality, knowledge and formal objects.Kevin Mulligan - 2007 - Disputatio 2 (23):1 - 24.

Analytics

Added to PP
2010-12-22

Downloads
3 (#1,710,044)

6 months
1 (#1,467,486)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references