Spahn
Primiero, information and knowledge, chapter 3, formal representation of the notion of information (Rev #1, changes)
Showing changes from revision #0 to #1:
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
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 16:21:17 by
Stephan Alexander Spahn?.
See the history of this page for a list of all contributions to it.