Spahn
Primiero, information and knowledge, chapter 3, formal representation of the notion of information (Rev #2, changes)
Showing changes from revision #1 to #2:
Added | Removed | Changed
This entry is about a section of the text
Contents
3.1.2 Contexts: formal explanation
The calculus of contexts and environments
There are two specific types
subject to the following rules:
Context formation rules
saying that contexts can be used as types and that we write contexts in brackets.
where , , and. This rule declares the formation of a type under a environment .
3.2.1 Presuppositions
3.2.2 Assumptions
3.2.3 Types and meaning declarations
3.2.4 Truths and the role of assumptions
3.3 Contexts as constructive possible worlds
3.3.1 introducing orderings: Kripke models
3.4 The knowledge framework
3.4.2 The structure of knowledge
Revision on August 4, 2012 at 19:16:15 by
Stephan Alexander Spahn?.
See the history of this page for a list of all contributions to it.