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). | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesAarne Ranta (1998). Syntactic Calculus with Dependent Types. Journal of Logic, Language and Information 7 (4):413-431.
Orlin Vakarelov (2012). The Information Medium. Philosophy and Technology 25 (1):47-65.
Giuseppe Primiero (2009). Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information. History and Philosophy of Logic 30 (3):257-282.
Jan Westerhoff (2003). The Underdetermination of Typings. Erkenntnis 58 (3):379 - 414.
Nafsika Athanassoulis & James Wilson (2009). When is Deception in Research Ethical? Clinical Ethics 4 (1):44-49.
John Zeimbekis (2004). Propositional Attitudes in Fiction. British Journal of Aesthetics 44 (3):261-276.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-12-22Total downloads1 ( #274,652 of 549,065 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
